BooksCOMPUTERS/Computer Science
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems
by Christian Herde
Product Details
Author
Christian Herde
Publisher
Springer/Sci-Tech/Trade
Published
2011
Binding
Paperback
ISBN
9783834814944
Language
English
Genre
COMPUTERS/Computer Science
Category
Books