Browse by author
Lookup NU author(s): Emeritus Professor Cliff JonesORCiD
Full text is not currently available for this publication.
Author(s): Jones CB
Publication type: Report
Publication status: Published
Series Title:
Year: 1990
Print publication date: 01/01/1990
Source Publication Date: 1990
Institution: Prentice Hall International
Place Published: London
URL: http://www.freetechbooks.com/systematic-software-development-using-vdm-2nd-edition-t244.html