Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure [electronic resource] : Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems / by Christian Herde.
By: Herde, Christian.
Contributor(s): SpringerLink (Online service).
Material type: BookPublisher: Wiesbaden : Vieweg+Teubner, 2011Description: digital.ISBN: 9783834899491.Subject(s): Computer science | Computer Science | Computer Science, generalDDC classification: 004 Online resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments for this item.