Hänvisningar gällande denna post
APA-referens (7:e uppl.)
Charatan, Q., & Kans, A. (2004). Formal software development: From VDM to Java. Palgrave Macmillan.
Kopierad till urklipp
Kopiering till urklipp misslyckades
Chicago-referens (17:e uppl.)
Charatan, Quentin, och Aaron Kans. Formal Software Development: From VDM to Java. Basingstoke: Palgrave Macmillan, 2004.
Kopierad till urklipp
Kopiering till urklipp misslyckades
MLA-referens (9:e uppl.)
Charatan, Quentin, och Aaron Kans. Formal Software Development: From VDM to Java. Palgrave Macmillan, 2004.
Kopierad till urklipp
Kopiering till urklipp misslyckades
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.