Automated technology for verification and analysisSusanne Graf
Automated technology for verification and analysis
Susanne Graf, Wenhui Zhang · 2006
איפה לקנות
המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.
לצפייה באמזוןזה קישור שותפים: כשקונים דרכו, האתר מקבל עמלה קטנה בלי תוספת במחיר עבורכם, וזה עוזר לנו להביא תוכן איכותי ולתחזק את האתר. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2006
- שפה
- English
- הוצאה
- Springer
- מהדורות
- 2
- עמודים
- 540
- ISBN
- 9783540472377
מקור הנתונים: Wikidata
עוד של Susanne Graf
Formal Methods For Components And Objects 5th International Symposium Fmco 2006 Amsterdam Netherlands November 710 2006 Revised LecturesSusanne Graf
Formal Methods For Components And Objects 5th International Symposium Fmco 2006 Amsterdam Netherlands November 710 2006 Revised Lectures
Susanne Graf · 2008
Real Time and SuchSusanne Graf
Real Time and Such
Susanne Graf · 2024
Formal Techniques for Distributed Objects, Components, and SystemsSusanne Graf
Formal Techniques for Distributed Objects, Components, and Systems
Susanne Graf · 2015
Model Checking SoftwareSusanne Graf
Model Checking Software
Susanne Graf · 2004
Tools and Algorithms for the Construction and Analysis of SystemsSusanne Graf
Tools and Algorithms for the Construction and Analysis of Systems
Susanne Graf · 2003
Verdachts- und ereignisunabhängige PersonenkontrollenSusanne Graf
Verdachts- und ereignisunabhängige Personenkontrollen
Susanne Graf · 2006
Wir vom Jahrgang 1978 - Kindheit und JugendSusanne Graf
Wir vom Jahrgang 1978 - Kindheit und Jugend
Susanne Graf · 2006