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
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2008
- שפה
- English
- הוצאה
- Springer
- מהדורות
- 1
- עמודים
- 296
- ISBN
- 9783540747918
מקור הנתונים: Wikidata
עוד של Susanne Graf
Automated technology for verification and analysisSusanne Graf
Automated technology for verification and analysis
Susanne Graf · 2006
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