Formal Techniques for Distributed Objects, Components, and SystemsSusanne Graf
Formal Techniques for Distributed Objects, Components, and Systems
Susanne Graf, Mahesh Viswanathan · 2015
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2015
- שפה
- English
- הוצאה
- Springer International Publishing AG
- מהדורות
- 2
- עמודים
- 245
- ISBN
- 9783319191942
מקור הנתונים: 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
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
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