Cover Image
Read Now

1
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... Principle (EWD1245) -- The Strengths of the Academic Enterprise (EWD1175) -- On a Method for the Formal...”
Cover Image
Read Now

2
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Test Development -- Specification-Based Testing of Firewalls -- Software Construction -- Academic vs...”