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 Delivery24 - 25 Sep
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.