Systematic software development using VDM

Saved in:

Bibliographic Details
Main Author:	Jones, C. B. 1944- Cliff B.
Format:	Book
Published:	Englewood Cliffs, N.J. Prentice Hall International 1986
Series:	Prentice-Hall International series in computer science
Subjects:	Computer software > Development
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet