An introduction to formal specification with Z and VDM / Deri Sheppard.
Material type: TextSeries: The McGraw-Hill international series in software engineeringPublication details: London ; New York : McGraw-Hill, c1995.Description: xvii, 398 p. : ill. ; 25 cmISBN:- 0077079078 :
- 005.1 23
- QA76.73.Z2 S48 1995
Item type | Current library | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Books | Tan Tao University General Stacks | Reference | 005.1 (Browse shelf(Opens below)) | Available | F-2023-0400 |
Includes bibliographical references (p. 390-392) and index.
There are no comments on this title.