An Introduction to Formal Specification and Z / Ben Potter, Jane Sinclair, David Till
Material type:
TextSeries: Prentice-Hall international series in computer sciencePublication details: New York ; London : Prentice-Hall, c1996Edition: 2nd edDescription: xiv, 434 p. : ill. ; 24 cmISBN: - 0132422077
- QA76.76 .D47 P68 1996
| Item type | Current library | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Books | Library First Floor | QA76.76 .D47 P68 1996 (Browse shelf(Opens below)) | 1 | Available | 2595 | |
| Books | Library First Floor | QA76.76 .D47 P68 1996 (Browse shelf(Opens below)) | 2 | Available | 3034 | |
| Books | Library First Floor | QA76.76 .D47 P68 1996 (Browse shelf(Opens below)) | 3 | Available | 2596 | |
| Books | Library First Floor | QA76.76 .D47 P68 1996 (Browse shelf(Opens below)) | 4 | Available | 3033 | |
| Books | Library First Floor | QA76.76 .D47 P68 1996 (Browse shelf(Opens below)) | 5 | Available | 3036 | |
| Books | Library First Floor | QA76.76 .D47 P68 1996 (Browse shelf(Opens below)) | 6 | Available | 3035 |
Includes bibliography and index
*Introduction. *Formal Specification within Software Engineering. *An informal introduction to Logic and Set Theory. *The Z Notation: Mathematical Language. *The Z Notation: Relations and Functions. *The Z Notation:Schemas and Specification Structure. *A First Specification.Formal Reasoning. *From Specification to Program. *From Theory to Practice. *Appendices. *Bibliography. *Index.
Following the sucess of the first edition, the authors have updated and revised this bestselling textbook to take into account the changes in the subject over the past 5 years.
There are no comments on this title.