Search

You searched for: Auteur Merz, Stephan Remove constraint Auteur: Merz, Stephan
1 - 3 of 3
Number of results to display per page

Search Results

1. Interactive Theorem Proving
thumbnail
Full text!
Author:
Blanchette, Jasmin Christian;Merz, Stephan; Merz, Stephan
Publisher:
Springer International Publishing 2016
Format:
e-book
2. Integrated Formal Methods
thumbnail
Full text!
Author:
Méry, Dominique; Kanade, Takeo; Merz, Stephan; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2010
Format:
e-book
3. Temporal Logic and State Systems
thumbnail
Full text!
Author:
Kröger, Fred; Brauer, Wilfried; Hromkovic, Juraj; Merz, Stephan; Rozenberg, Grzegorz
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book