Lingue
Resettare Categoria
Format
disponibilità
Autori

Risultato ricerca

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 Inglese 14.04.2009 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
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 Inglese 29.01.2013 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
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 Inglese 01.01.2015 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
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 Inglese 14.02.2003 Tascabile Fr. 134.00 1-2 settimane (il titolo viene stampato sull'ordine)
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 Inglese 20.12.2004 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 18.08.2005 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 20.10.2006 Tascabile Fr. 70.00 6-7 settimane
Susanne Graf, Wenhui Zhang - Automated Technology for Verification and Analysis
Susanne Graf, Wenhui Zhang Automated Technology for Verification and Analysis Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Susanne Graf, Laurent Mounier - Model Checking Software
Susanne Graf, Laurent Mounier Model Checking Software Inglese 18.03.2004 Tascabile Fr. 70.00 6-7 settimane
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? Inglese 26.06.2019 Tascabile Fr. 70.00 6-7 settimane
Susanne Graf, Paul Pettersson, Bernhard Steffen - Real Time and Such
Susanne Graf, Paul Pettersson, Bernhard Steffen Real Time and Such Inglese 05.10.2024 Tascabile Fr. 70.00 6-7 settimane