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: 209.99$.Current price is: 24.99$.

Up to 5% OFF Gifts

Discount Code: Save5

 

If you need any eBook, please feel free to contact us via email

We will be happy to help you find it

 

Category:
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)
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)