Z : an introduction to formal methods / Antoni Diller.
Publisher: Chichester, West Sussex, England ; New York : Wiley & Sons, 1994Edition: 2nd edDescription: xix, 374 p. : ill. ; 25 cmISBN: 0471939730 :Subject(s): Formal methods (Computer science) | Z (Computer program language)DDC classification: 005.12 Online resources: Publisher description | Table of Contents| Item type | Current location | Home library | Collection | Call number | URL | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|
Book
|
Military College of Signals (MCS) | Military College of Signals (MCS) | NFIC | 005.12 DIL (Browse shelf) | Link to resource | Checked out to Asst Prof Dr. Nauman Khan (17301-5985626-5) | 12/18/2022 | MCS37502 |
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)
There are no comments on this title.