Introduction to VDM

Saved in:

Bibliographic Details
Main Author:	Woodman, Mark
Other Authors:	Heal, Benedict 1944-
Format:	Book
Published:	London McGraw Hill Book Co. 1993
Series:	McGraw-Hill international series in software engineering
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