Modular Compiler Verification by Markus Müller-olm, Paperback | Indigo Chapters
Modular Compiler Verification by Markus Müller-olm, Paperback | Indigo Chapters

Coles

Modular Compiler Verification by Markus Müller-olm, Paperback | Indigo Chapters

From Markus Müller-olm

Current price: $116.95
Loading Inventory...

Size: 0 x 23.5 x 880

Visit retailer's website
*Product information may vary - to confirm product availability, pricing, and additional information please contact Coles
A Refinement-Algebraic Approach Advocating Stepwise Abstraction | Modular Compiler Verification by Markus Müller-olm, Paperback | Indigo Chapters

More About Coles at Bramalea City Centre

Making Connections. Creating Experiences. We exist to add a little joy to our customers’ lives, each time they interact with us.

Powered by Adeptmind