Zoeken

U zocht naar: Auteur Müller-Olm, Markus Filter Auteur: Müller-Olm, Markus weghalen
1 - 4 van 4
Aantal zoekresultaten per pagina

Zoekresultaten

1. Verification, Model Checking, and Abstract Interpretation
thumbnail
Full text!
Auteur:
Jones, Neil D.; Müller-Olm, Markus
Uitgever:
Springer Berlin Heidelberg 2009
Type:
e-book
2. Static Analysis
thumbnail
Full text!
Auteur:
Müller-Olm; Müller-Olm, Markus; Seidl, Helmut
Uitgever:
Springer International Publishing 2014
Type:
e-book
3. Variations on Constants
thumbnail
Full text!
Auteur:
Müller-Olm, Markus; Kanade, Takeo; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2006
Type:
e-book
4. Dependable Software Engineering. Theories, Tools, and Applications
thumbnail
Full text!
Auteur:
Feng; Markus Müller-Olm; Zijiang Yang; Müller-Olm, Markus; Yang, Zijiang
Uitgever:
Springer International Publishing 2018
Type:
e-book