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