Cover Image
Read Now

1
by Fitzgerald, John, Larsen, Peter Gorm, Mukherjee, Paul, Plat, Nico
Published 2005
Springer London
Table of Contents: “...Models and Software Development -- Building a Model in VDM++: An Overview -- VDM++ Tool Support...”
Cover Image
Read Now

2
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...Keynote Talks -- Formal Aids for the Growth of Software Systems -- Formal Methods and Testing...”
Cover Image
Read Now

3
Published 2012
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”