Formal software development : from VDM to Java / Quentin Charlatan and Aaron Kaus.

By:

Contributor(s):

Material type: Text

TextPublication details: Basingstoke, England : Palgrave Macmillan, 2004.Description: xii, 239 pISBN:

Subject(s):

LOC classification:

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
General Collection	Kabarak, Main Campus	QA76.76 .D47C43 (Browse shelf(Opens below))	Available		003757

There are no comments on this title.

to post a comment.