Charatan, Q., & Kans, A. (2004). Formal software development: From VDM to Java. Palgrave Macmillan.
Kopioitu leikepöydälle
Kopiointi leikepöydälle epäonnistui
Chicago-viite (17. p.)
Charatan, Quentin, ja Aaron Kans. Formal Software Development: From VDM to Java. Basingstoke: Palgrave Macmillan, 2004.
Kopioitu leikepöydälle
Kopiointi leikepöydälle epäonnistui
MLA-viite (9. p.)
Charatan, Quentin, ja Aaron Kans. Formal Software Development: From VDM to Java. Palgrave Macmillan, 2004.
Kopioitu leikepöydälle
Kopiointi leikepöydälle epäonnistui
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.