Automated Technology for Verification and AnalysisDoron A. Peled
Automated Technology for Verification and Analysis
Doron A. Peled · 2005
איפה לקנות
המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.
לצפייה באמזוןזה קישור שותפים: כשקונים דרכו, האתר מקבל עמלה קטנה בלי תוספת במחיר עבורכם, וזה עוזר לנו להביא תוכן איכותי ולתחזק את האתר. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2005
- שפה
- English
- הוצאה
- Springer
- מהדורות
- 3
- עמודים
- 506
- ISBN
- 9783540292098
מקור הנתונים: Wikidata
עוד של Doron A. Peled
Software Reliability MethodsDoron A. Peled
Software Reliability Methods
Doron A. Peled · 2013
Software Reliability Methods (Texts in Computer Science)Doron A. Peled
Software Reliability Methods (Texts in Computer Science)
Doron A. Peled · 2001
Time For Verification Essays In Memory Of Amir PnueliDoron A. Peled
Time For Verification Essays In Memory Of Amir Pnueli
Doron A. Peled · 2010
Model Checking and Artificial IntelligenceDoron A. Peled
Model Checking and Artificial Intelligence
Doron A. Peled · 2009
Formal Techniques for Networked and Distributed Systems - FORTE 2002Doron A. Peled
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Doron A. Peled · 2003