Markus Müller-Olm - Böcker

Visar alla böcker från författaren Markus Müller-Olm.

5 produkter

Kategorier

5 produkter

Static Analysis

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

Av Markus Müller-Olm, Helmut Seidl m. fl

Häftad, Engelska, 2014

729 kr

Skickas inom 10-15 vardagar

Dependable Software Engineering. Theories, Tools, and Applications

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

Av Xinyu Feng, Markus Müller-Olm m. fl

Häftad, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar

Variations on Constants

Flow Analysis of Sequential and Parallel Programs

Av Markus Müller-Olm

Häftad, Engelska, 2006

729 kr

Skickas inom 10-15 vardagar

Modular Compiler Verification

A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Av Markus Müller-Olm

Häftad, Engelska, 1997

729 kr

Skickas inom 10-15 vardagar

Verification, Model Checking, and Abstract Interpretation

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

Av Neil Jones, Markus Müller-Olm

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar