Image from Google Jackets

Normal view MARC view ISBD view

Formal software development [electronic resource] : from VDM to Java / Quentin Charatan and Aaron Kans.

By:

Charatan, Quentin

Contributor(s):

Material type:

TextPublication details: Basingstoke : Palgrave Macmillan, 2004.Description: xi, 239 p. : illSubject(s):

Genre/Form:

Electronic books.

DDC classification:

005.1 22

LOC classification:

QA76.758 .C43 2004eb

Online resources:

An electronic book accessible through the World Wide Web; click to view

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

No physical items for this record

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 on this title.

to post a comment.

© 2026 Rongo University
Contact us: librarian | system librarian | Rongo university