Search

You searched for: Auteur Markus Müller-Olm Remove constraint Auteur: Markus Müller-Olm
1 - 4 of 4
Number of results to display per page

Search Results

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