Formal software development :
Charatan, Quentin.
Formal software development : from VDM to Java / Quentin Charlatan and Aaron Kaus. - Basingstoke, England : Palgrave Macmillan, 2004. - xii, 239 p.
0333992814 : KES 4,620
Computer software --Development.
QA76.76 / .D47C43
Formal software development : from VDM to Java / Quentin Charlatan and Aaron Kaus. - Basingstoke, England : Palgrave Macmillan, 2004. - xii, 239 p.
0333992814 : KES 4,620
Computer software --Development.
QA76.76 / .D47C43