Search

You searched for: Auteur Wehrheim, Heike Remove constraint Auteur: Wehrheim, Heike
1 - 4 of 4
Number of results to display per page

Search Results

1. Tests and Proofs
thumbnail
Full text!
Author:
Ahrendt; Wehrheim, Heike
Publisher:
Springer International Publishing 2020
Format:
e-book
2. Correct System Design
thumbnail
Full text!
Author:
Meyer; Platzer, André; Wehrheim, Heike
Publisher:
Springer International Publishing 2015
Format:
e-book
3. Formal Methods for Open Object-Based Distributed Systems
thumbnail
Full text!
Author:
Gorrieri, Roberto; Kanade, Takeo; Wehrheim, Heike; Kittler, Josef
Publisher:
Springer Berlin / Heidelberg 2006
Format:
e-book
4. Integrated Formal Methods
thumbnail
Full text!
Author:
Leuschel, Michael; Kanade, Takeo; Wehrheim, Heike; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2009
Format:
e-book