Home › Books › Modular Compiler Verification: A Refinement-Algebraic Appro…
Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Lecture Notes in Computer Science) Buy on Amazon

https://www.ebooknetworking.net/books_detail-3540634061.html

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

AuthorMarkus Müller-Olm
PublisherSpringer
Shop on Amazon — choose your country
🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India
Buy New on Amazon 🇮🇳

Book Details

Author(s)Markus Müller-Olm
PublisherSpringer
ISBN / ASIN3540634061
ISBN-139783540634065
MarketplaceIndia  🇮🇳

More Books by Markus Müller-Olm

Variations on Constants: Flow Analysis of Sequential and Parallel Programs (Lecture Notes in Computer Science / Programming and Software Engineering)
Variations on Constants: Flow Analysis of Sequential a…
View
Donate to EbookNetworking
Prev
Next