MTU Library Catalogue

Syndetics cover image
Image from Syndetics

Introduction to VDM / Mark Woodman and Benedict Heal.

By: Woodman, Mark.
Contributor(s): Heal, Benedict, 1944-.
Material type: materialTypeLabelBookSeries: 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 -- DevelopmentDDC classification: 005.3
Holdings
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.