An introduction to formal specification with Z and VDM / Deri Sheppard.
By: Sheppard, Deri
.
Material type: ![materialTypeLabel](/opac-tmpl/lib/famfamfam/BK.png)
![](/opac-tmpl/bootstrap/images/filefind.png)
![](/opac-tmpl/bootstrap/images/filefind.png)
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
General Lending | MTU Bishopstown Library Store Item | 005.133 SHE (Browse shelf(Opens below)) | 1 | Available | 00009513 |
Browsing MTU Bishopstown Library shelves, Shelving location: Store Item Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
005.133 PUR C programming guide / | 005.133 ROS Advanced Prolog : techniques and examples / | 005.133 SAR Coding in Turbo Pascal / | 005.133 SHE An introduction to formal specification with Z and VDM / | 005.133 SIM Introductory COBOL : a transaction-oriented approach / | 005.133 SMI An introduction to LISP / | 005.133 SPI Understanding Z : a specification language and its formal semantics / |
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.