TY  - BOOK
AU  - Diller,Antoni
TI  - Z: an introduction to formal methods 
SN  - 9780471939733
U1  - 005.133 23
PY  - 1994///
CY  - Chichester
PB  - John Wiley
KW  - Z (Computer program language)
KW  - Formal methods (Computer science)
N1  - Includes bibliographical references (p. 357-362) and index; 1. Introduction--
2. First-order logic--
3. Set theory--
4. Internal telephone directory--
5. More about relations and schemas--
6. Functions--
7. Sequences--
8. Bags--
9. Free types--
10. Formal proof--
11. Rigorous proof--
12. Immanent reasoning--
13. Ratification and decomposition--
14. Floyd-Hoare logic--
15. Getting to program code--
16. Two small case studies--
17. Wing's library problem--
18. Partial specification of a test-editor--
19. Animation using miranda--
20. Methods of definition--
21. Formal definitions--
22. Rules and obligations--
Appendices--
Bibliography--
Index

N2  - This tutorial introduction to Z takes as its starting point the practical uses of this formal specification language. Case studies are used throughout the text to illustrate all aspects of Z. This edition includes new information on how to relate Z specifications to actual program codes
ER  -