Automated technology for verification and analysisSusanne Graf

Automated technology for verification and analysis

Susanne Graf, Wenhui Zhang · 2006

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: 2006
Language: English
Publisher: Springer
Editions: 2
Pages: 540
ISBN: 9783540472377

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

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

Tools and Algorithms for the Construction and Analysis of SystemsSusanne Graf

Tools and Algorithms for the Construction and Analysis of Systems

Susanne Graf · 2003

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