Markus Müller-Olm
Popular items by Markus Müller-Olm
View all offers-
Variations on Constants: Flow Analysis of Sequential and Parallel Programs (Lecture Notes in Computer Science, 3800)
Müller-Olm, Markus
Item prices starting from
View 18 offersUS$ 7.44
-
Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Lecture Notes in Computer Science, 1283)
Müller-Olm, Markus
Item prices starting from
View 8 offersUS$ 70.19
Also find
New
