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
איפה לקנות
המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.
לצפייה באמזוןזה קישור שותפים: כשקונים דרכו, האתר מקבל עמלה קטנה בלי תוספת במחיר עבורכם, וזה עוזר לנו להביא תוכן איכותי ולתחזק את האתר. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2006
- שפה
- English
- הוצאה
- Springer London, Limited
- מהדורות
- 1
- ISBN
- 9783540497035
מקור הנתונים: Wikidata
עוד של 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