Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (1997)
Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (1997)
By Markus Müller-Olm
Paperback
AED
279
52
AED 646.00
56% OFF
Turbo
Free Delivery26 - 27 Nov
Variations on Constants: Flow Analysis of Sequential and Parallel Programs (2006)
Variations on Constants: Flow Analysis of Sequential and Parallel Programs (2006)
By Markus Müller-Olm
Paperback
AED
276
36
AED 697.00
60% OFF
Turbo
Free Delivery26 - 27 Nov
Need Help?
+971 6 731 0280
support@gzb.ae
About UsContact UsPayment MethodsFAQsShipping PolicyRefund and ReturnTerms of UsePrivacy PolicyCookie Notice
VisaMastercardCash on Delivery

© 2024 White Lion General Trading LLC. All rights reserved.