Books by Markus Müller-Olm

4 books found

Variations on Constants

Variations on Constants

20062 ed.
Modular compiler verification

Modular compiler verification

19971 ed.
Static Analysis

Static Analysis

20142 ed.
Dependable Software Engineering. Theories, Tools, and Applications

Dependable Software Engineering. Theories, Tools, and Applications

20181 ed.