Formal software development from VDM to Java
Charatan, Quentin
Formal software development from VDM to Java - Basingstoke 2004 - Soft Binding xi 293
English
0-333-99281-4
--Computer Science
005.1 CHA-F
Formal software development from VDM to Java - Basingstoke 2004 - Soft Binding xi 293
English
0-333-99281-4
--Computer Science
005.1 CHA-F