Zurücksetzen Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Frank S. de Boer, Marcello M. Bonsangue, Frank S. de Boer, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al... - Formal Methods for Components and Objects
Frank S. de Boer, Marcello M. Bonsangue, Frank S. de Boer, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al... Formal Methods for Components and Objects Englisch 14.04.2009 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Frank S. de Boer, Marcello M. Bonsangue, Willem-Paul de Roever, Susann Graf, Susanne Graf, Willem-Paul de Roever - Formal Methods for Components and Objects
Frank S. de Boer, Marcello M. Bonsangue, Willem-Paul de Roever, Susann Graf, Susanne Graf, Willem-Paul de Roever Formal Methods for Components and Objects Englisch 29.01.2013 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Susann Graf, Susanne Graf, Viswanathan, Viswanathan, Mahesh Viswanathan - Formal Techniques for Distributed Objects, Components, and Systems
Susann Graf, Susanne Graf, Viswanathan, Viswanathan, Mahesh Viswanathan Formal Techniques for Distributed Objects, Components, and Systems Englisch 01.01.2015 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Susann Graf, Susanne Graf, Schwartzbach, Schwartzbach, Michael Schwartzbach - Tools and Algorithms for the Construction and Analysis of Systems
Susann Graf, Susanne Graf, Schwartzbach, Schwartzbach, Michael Schwartzbach Tools and Algorithms for the Construction and Analysis of Systems Englisch 14.02.2003 Taschenbuch Fr. 134.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Frank S. de Boer, Marcello M. Bonsangue, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al, Marcell M Bonsangue... - Formal Methods for Components and Objects
Frank S. de Boer, Marcello M. Bonsangue, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al, Marcell M Bonsangue... Formal Methods for Components and Objects Englisch 20.12.2004 Taschenbuch Fr. 70.00 6-7 Wochen
Marcello Bonsangue, Willem P. DeRoever, Susanne Graf, Frank S. de Boer, Frank S.de Boer, Marcell Bonsangue... - Formal Methods for Components and Objects, FMCO 2002
Marcello Bonsangue, Willem P. DeRoever, Susanne Graf, Frank S. de Boer, Frank S.de Boer, Marcell Bonsangue... Formal Methods for Components and Objects, FMCO 2002 Englisch 18.08.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Frank S. de Boer, Marcello M. Bonsangue, Frank S. de Boer, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al... - Formal Methods for Components and Objects
Frank S. de Boer, Marcello M. Bonsangue, Frank S. de Boer, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al... Formal Methods for Components and Objects Englisch 20.10.2006 Taschenbuch Fr. 70.00 6-7 Wochen
Susanne Graf, Wenhui Zhang - Automated Technology for Verification and Analysis
Susanne Graf, Wenhui Zhang Automated Technology for Verification and Analysis Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Susanne Graf, Laurent Mounier - Model Checking Software
Susanne Graf, Laurent Mounier Model Checking Software Englisch 18.03.2004 Taschenbuch Fr. 70.00 6-7 Wochen
Susanne Graf, Kim G. Larsen, Tiziana Margaria - Models, Mindsets, Meta: The What, the How, and the Why Not?
Susanne Graf, Kim G. Larsen, Tiziana Margaria Models, Mindsets, Meta: The What, the How, and the Why Not? Englisch 26.06.2019 Taschenbuch Fr. 70.00 6-7 Wochen
Susanne Graf, Paul Pettersson, Bernhard Steffen - Real Time and Such
Susanne Graf, Paul Pettersson, Bernhard Steffen Real Time and Such Englisch 05.10.2024 Taschenbuch Fr. 70.00 6-7 Wochen