Formal Approaches to Software Testing and Runtime VerificationKlaus Havelund
Formal Approaches to Software Testing and Runtime Verification
Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff · 2006
Where to buy
Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.
View on AmazonThis is an affiliate link: if you buy through it, the site earns a small commission at no extra cost to you, which helps us bring quality content and maintain the site. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2006
- Language
- English
- Publisher
- Springer London, Limited
- Editions
- 1
- ISBN
- 9783540497035
Data source: Wikidata
More by Klaus Havelund
NASA Formal MethodsKlaus Havelund

NASA Formal Methods
Klaus Havelund · 2015
Formal MethodsKlaus Havelund

Formal Methods
Klaus Havelund · 2018
Nasa Formal Methods Third International Symposium Nfm 2011 Pasadena Ca Usa April 1820 2011 ProceedingsKlaus Havelund

Nasa Formal Methods Third International Symposium Nfm 2011 Pasadena Ca Usa April 1820 2011 Proceedings
Klaus Havelund · 2011
Model Checking SoftwareKlaus Havelund
Model Checking Software
Klaus Havelund · 2008
Model Checking Software Lecture Notes in Computer ScienceKlaus Havelund

Model Checking Software Lecture Notes in Computer Science
Klaus Havelund · 2008
SPIN Model Checking and Software VerificationKlaus Havelund
SPIN Model Checking and Software Verification
Klaus Havelund · 2006