Tools and Algorithms for the Construction and Analysis of SystemsSusanne Graf

Tools and Algorithms for the Construction and Analysis of Systems

Susanne Graf, Michael Schwartzbach · 2003

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2003
Language: English
Publisher: Springer London, Limited
Editions: 1
ISBN: 9783540464198

Data source: Wikidata

More by Susanne Graf

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

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

Susanne Graf · 2008

Automated technology for verification and analysisSusanne Graf

Automated technology for verification and analysis

Susanne Graf · 2006

Real Time and SuchSusanne Graf

Real Time and Such

Susanne Graf · 2024

Formal Techniques for Distributed Objects, Components, and SystemsSusanne Graf

Formal Techniques for Distributed Objects, Components, and Systems

Susanne Graf · 2015

Model Checking SoftwareSusanne Graf

Model Checking Software

Susanne Graf · 2004

Verdachts- und ereignisunabhängige PersonenkontrollenSusanne Graf

Verdachts- und ereignisunabhängige Personenkontrollen

Susanne Graf · 2006

Wir vom Jahrgang 1978 - Kindheit und JugendSusanne Graf

Wir vom Jahrgang 1978 - Kindheit und Jugend

Susanne Graf · 2006