Formal software development from VDM to Java /

Saved in:

Bibliographic Details
Main Author:	Charatan, Quentin
Corporate Author:	ebrary, Inc
Other Authors:	Kans, Aaron
Format:	Electronic eBook
Language:	English
Published:	Basingstoke : Palgrave Macmillan, 2004.
Subjects:	Computer software > Development. Formal methods (Computer science) Electronic books.
Online Access:	An electronic book accessible through the World Wide Web; click to view
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet