Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis


Image from Google Jackets

Z : an introduction to formal methods / Antoni Diller.

By: Material type: TextTextPublication details: Chichester : John Wiley, 1994.Edition: 2nd edDescription: xix, 374 p. : ill. ; 25 cmISBN:
  • 9780471939733
Subject(s): DDC classification:
  • 005.133 23 D578
Contents:
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.
Summary: 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
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
Total holds: 0

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.

to post a comment.
Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in