Models, Mindsets, Meta: The What, the How, and the Why Not?Tiziana Margaria, Susanne Graf, Kim G. LarsenHäftad, 2019558 kr
Del 9039Formal Techniques for Distributed Objects, Components, and SystemsSusanne Graf, Mahesh ViswanathanHäftad, 2015558 kr
Formal Methods for Components and ObjectsFrank S.de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de RoeverHäftad, 2003558 kr
Formal Methods for Components and ObjectsFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de RoeverHäftad, 2004558 kr
Formal Methods for Components and ObjectsFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de RoeverHäftad, 2005558 kr
Formal Methods for Components and ObjectsFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de RoeverHäftad, 2006558 kr
Tools and Algorithms for the Construction and Analysis of SystemsSusanne Graf, Michael SchwartzbachHäftad, 20001 108 kr
Formal Methods for Components and ObjectsFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de RoeverHäftad, 2004558 kr
Formal Methods for Components and ObjectsFrank S.de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de RoeverHäftad, 2003558 kr
Robin vs. Camus - Ein Vergleich der Mordszenen der Romane "Accusé lève toi" und "L'étranger"Ramona Dannhauer, Susanne GrafHäftad, 2008363 kr
Del 9039Formal Techniques for Distributed Objects, Components, and SystemsSusanne Graf, Mahesh ViswanathanHäftad, 2015558 kr
Formal Methods for Components and ObjectsMarcello M. Bonsangue, Susanne Graf, Willem-Paul de RoeverHäftad, 2008558 kr
Tools and Algorithms for the Construction and Analysis of SystemsSusanne Graf, Michael SchwartzbachHäftad, 20001 108 kr
Formal Methods for Components and ObjectsFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de RoeverHäftad, 2005558 kr