Cover of Formal Methods and Software Engineering

Formal Methods and Software Engineering

by Unknown Author

2009Springer London, LimitedISBN 9783642103735
SoftwareentwicklungFormale MethodeSoftwaretestVerifikationProgrammanalyseModel CheckingSystementwicklungZuverlässigkeitFehlertoleranzKongressRio de Janeiro <2009>Online-Publikation

Publication Details

Publisher
Springer London, Limited
Published
2009
ISBN
9783642103735

Track your reading journey with BookOwl