Charatan, Quentin
Formal software development : from VDM to Java
- New York: Palgrave Macmillan, 2004
- xiii, 239 p.; ill.: 25 cm.
9780333992814 (pbk)
Computer software Development
Formal methods
Programming
VDM spesification
Java implementation
005.1 / CHA