Kirjat Christian Herde
Valintaa vastaavia tuotteita ei löytynyt.
-25%
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems
63,51 €
84,68 €
-25% koodilla BOOKS
Toimittajalla varastossa