Book Reading Time
Home
Subjects
Calculator
About
Contact
Search
K
Klaus Havelund
9 books found
Books by Klaus Havelund
Nasa Formal Methods Third International Symposium Nfm 2011 Pasadena Ca Usa April 1820 2011 Proceedings
Klaus Havelund
Nasa Formal Methods Third International Symposium Nfm 2011 Pasadena Ca Usa April 1820 2011 Proceedings
Klaus Havelund
2011
No page data
Model Checking Software Lecture Notes in Computer Science
Klaus Havelund
⏱ 5h 42m
Model Checking Software Lecture Notes in Computer Science
Klaus Havelund
2008
342 pp.
Tools and Algorithms for the Construction and Analysis of Systems
Erika Abraham
⏱ 11h 1m
Tools and Algorithms for the Construction and Analysis of Systems
Erika Abraham
2014
661 pp.
NASA Formal Methods
Klaus Havelund
⏱ 7h 45m
NASA Formal Methods
Klaus Havelund
2011
465 pp.
Model Checking Software
Klaus Havelund
Model Checking Software
Klaus Havelund
2008
No page data
SPIN Model Checking and Software Verification
Klaus Havelund
SPIN Model Checking and Software Verification
Klaus Havelund
2006
No page data
Formal Approaches to Software Testing and Runtime Verification
Klaus Havelund,Grigore Rosu,Manuel N. Nez
Formal Approaches to Software Testing and Runtime Verification
Klaus Havelund,Grigore Rosu,Manuel N. Nez
2008
No page data
Formal Approaches to Software Testing and Runtime Verification
Klaus Havelund
Formal Approaches to Software Testing and Runtime Verification
Klaus Havelund
2006
No page data
Formal Methods
Klaus Havelund
⏱ 11h 46m
Formal Methods
Klaus Havelund
2018
706 pp.