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.
Material type:
Computer filePublication details: Wiesbaden : Vieweg+Teubner Verlag / Springer Fachmedien Wiesbaden GmbH, Wiesbaden, 2011.Description: v.: digitalISBN: - 9783834899491
Reviews from LibraryThing.com:
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.