Susanne Graf - Böcker

Visar alla böcker från författaren Susanne Graf.
13 produkter
Tiziana Margaria, Susanne Graf, Kim G. Larsen - Models, Mindsets, Meta: The What, the How, and the Why Not?, Häftad

Models, Mindsets, Meta: The What, the How, and the Why Not?

Av Tiziana Margaria, Susanne Graf, Kim G. Larsen

Häftad, Engelska, 2019

739 kr

Skickas inom 7-10 vardagar
Susanne Graf, Paul Pettersson, Bernhard Steffen - Real Time and Such, Häftad
Del 15230 - Lecture Notes in Computer Science

Real Time and Such

Av Susanne Graf, Paul Pettersson, Bernhard Steffen

Häftad, Engelska, 2024

769 kr

Skickas inom 5-8 vardagar
Susanne Graf, Mahesh Viswanathan - Formal Techniques for Distributed Objects, Components, and Systems, Häftad

Formal Techniques for Distributed Objects, Components, and Systems

Av Susanne Graf, Mahesh Viswanathan

Häftad, Engelska, 2015

739 kr

Skickas inom 7-10 vardagar
Frank S.de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever, Frank S. de Boer - Formal Methods for Components and Objects, Häftad
Del 2852 - Lecture Notes in Computer Science

Formal Methods for Components and Objects

Av Frank S.de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever, Frank S. de Boer

Häftad, Engelska, 2003

739 kr

Skickas inom 7-10 vardagar
Susanne Graf, Laurent Mounier - Model Checking Software, Häftad
Del 2989 - Lecture Notes in Computer Science

Model Checking Software

Av Susanne Graf, Laurent Mounier

Häftad, Engelska, 2004

739 kr

Skickas inom 7-10 vardagar
Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever - Formal Methods for Components and Objects, Häftad
Del 3188 - Lecture Notes in Computer Science

Formal Methods for Components and Objects

Av Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Häftad, Engelska, 2004

739 kr

Skickas inom 7-10 vardagar
Susanne Graf, Wenhui Zhang - Automated Technology for Verification and Analysis, Häftad

Automated Technology for Verification and Analysis

Av Susanne Graf, Wenhui Zhang

Häftad, Engelska, 2006

739 kr

Skickas inom 7-10 vardagar
Susanne Graf, Michael Schwartzbach - Tools and Algorithms for the Construction and Analysis of Systems, Häftad
Del 1785 - Lecture Notes in Computer Science

Tools and Algorithms for the Construction and Analysis of Systems

Av Susanne Graf, Michael Schwartzbach

Häftad, Engelska, 2000

1 459 kr

Skickas inom 7-10 vardagar
Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever - Formal Methods for Components and Objects, Häftad

Formal Methods for Components and Objects

Av Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Häftad, Engelska, 2008

739 kr

Skickas inom 7-10 vardagar
Susanne Graf - Wir vom Jahrgang 1978 - Kindheit und Jugend, Inbunden

Wir vom Jahrgang 1978 - Kindheit und Jugend

Av Susanne Graf

Inbunden, Tyska

229 kr

Skickas inom 3-6 vardagar