K

Klaus Havelund

9 books found

Books by Klaus Havelund
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

2011No page data
Model Checking Software Lecture Notes in Computer ScienceKlaus Havelund
⏱ 5h 42m

Model Checking Software Lecture Notes in Computer Science

Klaus Havelund

2008342 pp.
Tools and Algorithms for the Construction and Analysis of SystemsErika Abraham
⏱ 11h 1m

Tools and Algorithms for the Construction and Analysis of Systems

Erika Abraham

2014661 pp.
NASA Formal MethodsKlaus Havelund
⏱ 7h 45m

NASA Formal Methods

Klaus Havelund

2011465 pp.
Model Checking SoftwareKlaus Havelund

Model Checking Software

Klaus Havelund

2008No page data
SPIN Model Checking and Software VerificationKlaus Havelund

SPIN Model Checking and Software Verification

Klaus Havelund

2006No page data
Formal Approaches to Software Testing and Runtime VerificationKlaus Havelund,Grigore Rosu,Manuel N. Nez

Formal Approaches to Software Testing and Runtime Verification

Klaus Havelund,Grigore Rosu,Manuel N. Nez

2008No page data
Formal Approaches to Software Testing and Runtime VerificationKlaus Havelund

Formal Approaches to Software Testing and Runtime Verification

Klaus Havelund

2006No page data
Formal MethodsKlaus Havelund
⏱ 11h 46m

Formal Methods

Klaus Havelund

2018706 pp.