Hoppa till sidans huvudinnehåll

Markus Müller-Olm – författare

Visar alla böcker från författaren Markus Müller-Olm.
5 produkter
Markus Müller-Olm, Helmut Seidl - Static Analysis, Häftad
Del 8723 - Lecture Notes in Computer Science

Static Analysis

21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

AvMarkus Müller-Olm,Helmut Seidl

Häftad, Engelska, 2014

739 kr

Skickas inom 10-15 vardagar

Xinyu Feng, Markus Müller-Olm, Zijiang Yang - Dependable Software Engineering. Theories, Tools, and Applications, Häftad
Del 10998 - Lecture Notes in Computer Science

Dependable Software Engineering. Theories, Tools, and Applications

4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

AvXinyu Feng,Markus Müller-Olmm. fl.

Häftad, Engelska, 2018

739 kr

Skickas inom 10-15 vardagar

Markus Müller-Olm - Variations on Constants, Häftad

Variations on Constants

Flow Analysis of Sequential and Parallel Programs

AvMarkus Müller-Olm

Häftad, Engelska, 2006

739 kr

Skickas inom 10-15 vardagar

Markus Müller-Olm - Modular Compiler Verification, Häftad

Modular Compiler Verification

A Refinement-Algebraic Approach Advocating Stepwise Abstraction

AvMarkus 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

Verification, Model Checking, and Abstract Interpretation

10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

AvNeil Jones,Markus Müller-Olm

Häftad, Engelska, 2008

739 kr

Skickas inom 10-15 vardagar