Zoeken

U zocht naar: Auteur Merz, Stephan Filter Auteur: Merz, Stephan weghalen Fulltext online Filter Fulltext: online weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

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