Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems
Autor Christian Herde
10 feb 2011
Paperback
Preț: 313.10 lei 391.37 lei
6-8 săpt.
-20%