Formal software development [electronic resource] : from VDM to Java / Quentin Charatan and Aaron Kans.
By: Charatan, Quentin.
Contributor(s): Kans, Aaron | ebrary, Inc.
Material type: BookPublisher: Basingstoke : Palgrave Macmillan, 2004Description: xi, 239 p. : ill.Subject(s): Computer software -- Development | Formal methods (Computer science)Genre/Form: Electronic books.DDC classification: 005.1 Online resources: An electronic book accessible through the World Wide Web; click to viewItem type | Current location | Collection | Call number | URL | Copy number | Status | Date due | Item holds |
---|---|---|---|---|---|---|---|---|
E-book | IUKL Library | Subscripti | http://site.ebrary.com/lib/kliuc/Doc?id=10103773 | 1 | Available |
Total holds: 0
Includes index.
Electronic reproduction. Palo Alto, Calif. : ebrary, 2009. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.
There are no comments for this item.