Formal Software Development
"Charatan, Quentin"
Formal Software Development - \\200400ENGGPSX - Macmillan 2004 London - 238p.
includes index and biblioraphy
333992814
Formal Software Development - \\200400ENGGPSX - Macmillan 2004 London - 238p.
includes index and biblioraphy
333992814