Introduction to VDM / Mark Woodman and Benedict Heal.
By: Woodman, Mark
.
Contributor(s): Heal, Benedict
.
Material type:
BookSeries: McGraw-Hill international series in software engineering.Publisher: London. New York : McGraw-Hill Book Co., c1993Description: xiii, 240 p. : ill. ; 25 cm.ISBN: 0077074343.Subject(s): Computer software -- Development| Item type | Current library | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|
| General lending | MTU Bishopstown Library Store | 005.3 (Browse shelf(Opens below)) | 1 | Available | 00021800 |
Total holds: 0
Includes index.