Practical formal methods with VDM

Practical formal methods with VDM

Bibliographic Details
Main Authors: Andrews, D. (Derek) (Author), Ince, Darrel (Author)
Format: Book
Published: Berkshire, England McGraw-Hill c1991
Subjects:
Computer software > Development
Description
Physical Description:xvi, 450 p. 24 cm.
ISBN:0077072146

Similar Items