Enlarge

Practical formal methods with VDM

Derek Andrews

Publication Data

Title Practical formal methods with VDM
Author Derek Andrews
Contributor Darrel Ince
Publisher McGraw-Hill
Publication date 1991
Publication location London
Language English

Descriptive Notes

Includes index.

Topics

Computer software :: Development
Formal methods (Computer science)

Catalogue Data

OBNB ID GB9162093
ISBN 10 0077072146
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.1

ISBD

P1053 xvi,450p.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Practical formal methods with VDM by Derek Andrews. ISBN 0077072146. Published by McGraw-Hill in 1991. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.