booktheque

Nasa Formal Methods Third International Symposium Nfm 2011 Pasadena Ca Usa April 1820 2011 Proceedings

Klaus Havelund · 2011

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 Amazon

Book details

Year
2011
Publisher
Springer
Editions
1
ISBN
9783642203978

Data source: Wikidata

More by Klaus Havelund

NASA Formal Methods
Klaus Havelund · 2015
Formal Methods
Klaus Havelund · 2018
Model Checking Software
Klaus Havelund · 2008
Model Checking Software Lecture Notes in Computer Science
Klaus Havelund · 2008
SPIN Model Checking and Software Verification
Klaus Havelund · 2006
Formal Approaches to Software Testing and Runtime Verification
Klaus Havelund · 2006