Image from Syndetics
An introduction to formal specification with Z and VDM / Deri Sheppard.
By: Sheppard, Deri
.
Material type: 
BookSeries: McGraw-Hill international series in software engineering: Publisher: London ; New York : McGraw-Hill, c1995Description: xvii, 398 p. : ill. ; 25 cm.ISBN: 0077079078 .Subject(s): Z (Computer program language) | Computer software -- DevelopmentDDC classification: 005.133 SHE
| Item type | Current library | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|
| General lending | MTU Bishopstown Library Store | 005.133 SHE (Browse shelf(Opens below)) | 1 | Available | 00009513 |
Total holds: 0
Enhanced descriptions from Syndetics:
Formal methods emphasize the correct and efficient development of software. This text puts formal specification in the context of traditional methods of software development, including object-orientation, introducing these concepts and the necessary discrete maths, before moving on to look at both Z and VDM in depth, using the case study of a drinks dispensing machine.
Includes bibliographical references (p. 390-392) and index.