Books
Popular
Lists
Blog
About

Log In Join Free

Home / Books / Markus Müller-Olm

Markus Müller-Olm

Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Lecture Notes in Computer Science, 1283)

Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Lecture Notes in Computer Science, 1283)

BookLovers

A smart community for book lovers

Browse

All Books Popular Books New Releases Reading Lists Book Donations

Community

Join Now Sign In Leaderboard BookMatch Quiz

Support

About Us Contact Us Privacy Policy Terms of Service Child Safety

© 2026 BookLovers. All rights reserved.