Systematic software development using Vdm

Bibliographic Details
Main Author: Cliff B. Jones
Format: Printed Book
Language:English
Published: Prentice-Hall 1986
Description
Physical Description:300
ISBN:0-13-880717-5

Similar Items