TY  - GEN
AU  - Diller,Antoni
TI  - Z: an introduction to formal methods 
SN  - 0471939730 :
U1  - 005.12 
PY  - 1994///
CY  - Chichester, West Sussex, England, New York
PB  - Wiley & Sons
KW  - Formal methods (Computer science)
KW  - Z (Computer program language)
N1  - TUTORIAL (Page-1) First-Order Logic (Page-9)  Set Theory (Page-31) Internal Telephone Directory (Page-41)  More About Relations and Schemas (Page-7) Functions (Page-91) Sequences (Page-97) Bags (Page-103) Free Types (Page-115)  METHODS OF REASONING (Page-123) Formal Proof (Page-125) Rigorous Proof (Page-151) Immanent Reasoning (Page-161) Reification and Decomposition (Page-171) Floyd-Hoare Logic 189) Getting to Program Code (Page-203) CASE STUDIES (Page-221) Two Small Case Studies (Page- 223) Wing's Library Problem (Page-233) Partial Specification of a Text-Editor (Page- 255)  SPECIFICATION ANIMATION (Page-269) Animation Using Miranda (Page-271) REFERENCE MANUAL (Page-279) Methods of Definition (Page-281) Formal Definitions (Page-285) Rules and Obligations (Page-299)
UR  - http://www.loc.gov/catdir/description/wiley035/94004943.html
UR  - http://www.loc.gov/catdir/toc/onix06/94004943.html
ER  -