Markus Müller-Olm - Böcker

Visar alla böcker från författaren Markus Müller-Olm.
5 produkter
Markus Müller-Olm, Helmut Seidl, Markus Muller-Olm - Static Analysis, Häftad

Häftad, Engelska, 2014

739 kr

Skickas inom 10-15 vardagar
Xinyu Feng, Markus Müller-Olm, Zijiang Yang, Markus Muller-Olm - Dependable Software Engineering. Theories, Tools, and Applications, Häftad

Häftad, Engelska, 2018

739 kr

Skickas inom 10-15 vardagar
Markus Müller-Olm - Variations on Constants, Häftad

Häftad, Engelska, 2006

739 kr

Skickas inom 10-15 vardagar
Markus Muller-Olm, Markus Müller-Olm - Modular Compiler Verification, Häftad
Del 1283 - Lecture Notes in Computer Science

Modular Compiler Verification

Av Markus Muller-Olm, Markus Müller-Olm

Häftad, Engelska, 1997

739 kr

Skickas inom 10-15 vardagar
Neil Jones, Markus Müller-Olm - Verification, Model Checking, and Abstract Interpretation, Häftad

Häftad, Engelska, 2008

739 kr

Skickas inom 10-15 vardagar