Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous
By Christian Herde
Paperback
AED
284
46
AED 727.00
60% OFF
Turbo
Free Delivery9 - 10 Apr
Need Help?
+971 6 731 0280
support@gzb.ae
About UsContact UsPayment MethodsFAQsShipping PolicyRefund and ReturnTerms of UsePrivacy PolicyCookie Notice
VisaMastercardCash on Delivery

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