Books by Christian Herde
No products found matching the selection.
-20%
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems
€67.74
€84.68
-20% with code BOOKS
In stock at our supplier