Susanne Graf
Susanne Graf
8 ספרים במאגר
ספרים
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
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
ספרים משותפים ואוספים
ספרים שבהם Susanne Graf מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Formal methods for components and objectsFrank S. de Boer
Formal methods for components and objects
Frank S. de Boer · 2003
Formal methods for components and objectsMarcello M. Bonsangue
Formal methods for components and objects
Marcello M. Bonsangue · 2006
Formal methods for components and objectsFrank S. de Boer
Formal methods for components and objects
Frank S. de Boer · 2005
Models, Mindsets, Meta : The What, the How, and the Why Not?Tiziana Margaria
Models, Mindsets, Meta : The What, the How, and the Why Not?
Tiziana Margaria · 2019