

Formal Methods and Software Engineering
2009Springer London, LimitedISBN 9783642103735
SoftwareentwicklungFormale MethodeSoftwaretestVerifikationProgrammanalyseModel CheckingSystementwicklungZuverlässigkeitFehlertoleranzKongressRio de Janeiro <2009>Online-Publikation
Publication Details
- Publisher
- Springer London, Limited
- Published
- 2009
- ISBN
- 9783642103735
More by Unknown Author
Track your reading journey with BookOwl


