책 이미지
책 정보
· 제목 : Z: An Introduction to Formal Methods (Paperback, 2) 
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9780471939733
· 쪽수 : 400쪽
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9780471939733
· 쪽수 : 400쪽
목차
TUTORIAL.
First-Order Logic.
Set Theory.
Internal Telephone Directory.
More About Relations and Schemas.
Functions.
Sequences.
Bags.
Free Types.
METHODS OF REASONING.
Formal Proof.
Rigorous Proof.
Immanent Reasoning.
Reification and Decomposition.
Floyd-Hoare Logic.
Getting to Program Code.
CASE STUDIES.
Two Small Case Studies.
Wing's Library Problem.
Partial Specification of a Text-Editor.
SPECIFICATION ANIMATION.
Animation Using Miranda.
REFERENCE MANUAL.
Methods of Definition.
Formal Definitions.
Rules and Obligations.
Appendices.
Bibliography.
Index.
저자소개
추천도서
분야의 베스트셀러 >