Formal Techniques for Distributed Objects, Components, and SystemsSusanne Graf

Formal Techniques for Distributed Objects, Components, and Systems

Susanne Graf, Mahesh Viswanathan · 2015

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

Book details

Year: 2015
Language: English
Publisher: Springer International Publishing AG
Editions: 2
Pages: 245
ISBN: 9783319191942

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

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