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