Normal view MARC view ISBD view

Formal Software Development: From VDM to Java

Charatan, Quentin-Kans, Aaron

Formal Software Development: From VDM to Java - New York Palgrave Macmillan 2004 - xii:239p. 27x20cm.

Include Index.

ISBN: 0333992814 (PB)

Subjects--Topical Terms:
Computer Software--Development--Formal Methods

Dewey Class. No.: 005.1 / CHA-F

Place hold
Print
Cite
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Welcome to Air University Central Library and Fazaia Medical College Library. (Sign in with Your email. Your user name is the same as your student ID number or Employee ID number for password, please contact Circulation Staff)

Formal Software Development: From VDM to Java