booktheque

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

Klaus Havelund · 2011

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה
2011
הוצאה
Springer
מהדורות
1
ISBN
9783642203978

מקור הנתונים: Wikidata

עוד של 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