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:
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!
Description
Item Description:Includes index.
Physical Description:xi, 239 p. : ill.