Z : an introduction to formal methods / Antoni Diller.
Material type:
TextPublication details: Chichester : John Wiley, 1994.Edition: 2nd edDescription: xix, 374 p. : ill. ; 25 cmISBN: - 9780471939733
- 005.133 23 D578
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata | 005.133 D578 (Browse shelf(Opens below)) | Available | C26383 |
Browsing ISI Library, Kolkata shelves Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available | No cover image available | |||||
| 005.133 D265 COBOL : introduction to structured logic and modular program design | 005.133 D269 Prolog for computer science | 005.133 D519 Programming in C++ | 005.133 D578 Z : | 005.133 D582 Introduction to Fortran IV programming | 005.133 D888 Generating FORTRAN programs from decision tables | 005.133 Ea12Al Formula Algol manual |
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.
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.
There are no comments on this title.
