Sale!
Awaiting product image

Ebook – Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems Edition (PDF Instant Download)

Original price was: $97.90.Current price is: $18.99.

Ebook – Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems Edition (PDF Instant Download)

Original price was: $97.90.Current price is: $18.99.

Please note this is an Ebook, not a Paperback Or Audio Book!

Guaranteed safe and secure checkout via:
Paypal | VISA | MASTERCARD.

Secure payment with SSL Encryption.

If you're not satisfied, let us know and we'll make it right.

Christian Herde deals with the development of decision procedures as needed, e.g., for automatic verification of hardware and software systems via bounded model checking. He provides methods for efficiently solving formulae comprising complex Boolean combinations of linear, polynomial, and transcendental arithmetic constraints, involving thousands of Boolean-, integer-, and real-valued variables.

Based on 2 reviews
0%
(0)
0%
(0)
0%
(0)
0%
(0)
100%
(2)
E
Ebook - Starting Out With Java From Control Structures through Data Structures 4th Ed (PDF Instant Download)
Edmundo Palacios
Scam/Link did not work

Link did not work. I was unable to email for a new link or refund. Never even received initial email with download link I tried from checkout page.

A
Ebook - Applying Career Development Theory to Counseling 6th Edition (PDF Instant Download)
Albert Garcia
The download never worked

The download never worked. I'm waiting on my refund.