Susanne Graf

14 works Add another?

Sort by:

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Random

— Show only ebooks?

Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures (Lecture Notes in Computer Science)

by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem-Paul de Roever First published in 2004 — 7 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Preview

Preview Book
×Close

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures (Lecture Notes in Computer Science)

by Marcello M. Bonsangue, Susanne Graf, and Willem-Paul de Roever First published in 2006 — 3 editions

Preview Only

My Reading Lists:

Create a new list
Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6. 1 International Conference, FORTE 2015, Held As Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-5, 2015, Proceedings

by Susanne Graf and Mahesh Viswanathan First published in 2015 — 2 editions

Locate

My Reading Lists:

Create a new list
Verdachts- Und Ereignisunabhängige Personenkontrollen: Polizeirechtliche und Verfassungsrechtliche Aspekte der Schleierfahndung

by Susanne Graf First published in 2006 — 2 editions

Locate

My Reading Lists:

Create a new list
Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings (Lecture Notes in Computer Science)

by Susanne Graf and Wenhui Zhang First published in 2006 — 2 editions

Locate

My Reading Lists:

Create a new list
Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (Lecture Notes in Computer Science)

by Frank S. de Boer, Marcello Bonsangue, Susanne Graf, and Willem-Paul de Roever First published in 2003 — 2 editions

Locate

My Reading Lists:

Create a new list
Heimatklänge: Wen das Meer ruft / Susanne Graf

by Susanne Graf First published in 1975 — 1 edition

Locate

My Reading Lists:

Create a new list
Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

by Susanne Graf and Laurent Mounier First published in 2004 — 1 edition

Locate

My Reading Lists:

Create a new list
Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career

by Susanne Graf, Paul Pettersson, and Bernhard Steffen First published in 2024 — 1 edition

Locate

My Reading Lists:

Create a new list
Wir vom Jahrgang 1978 - Kindheit und Jugend

by Susanne Graf First published in 2006 — 1 edition

Locate

My Reading Lists:

Create a new list
Nutritive Knochenveränderungen bei Frühgeborenen mit einem Geburtsgewicht von unter 1250 g

by Susanne Graf First published in 1991 — 1 edition

Locate

My Reading Lists:

Create a new list
Models, Mindsets, Meta : The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

by Tiziana Margaria, Susanne Graf, and Kim G. Larsen First published in 2019 — 1 edition

Locate

My Reading Lists:

Create a new list
Preview

Formal Methods For Components And Objects 5th International Symposium Fmco 2006 Amsterdam Netherlands November 710 2006 Revised Lectures

by Susanne Graf First published in 2008 — 1 edition

Preview Only

My Reading Lists:

Create a new list
Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

by Susanne Graf and Michael Schwartzbach First published in 2003 — 1 edition

Locate

My Reading Lists:

Create a new list

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL7327192A

Links outside Open Library

No links yet. Add one?

History

Created October 14, 2016
1 revision

Download catalog record: RDF / JSON

October 14, 2016

Created by Mek

Added new book.

Susanne Graf

14 works Add another?

Create a new list

Preview Book

Subjects

Lists

Add to List

ID Numbers

Links outside Open Library

History