Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

Name: Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems
Brand: Vieweg+teubner Verlag
SKU: 9783834814944
Price: 5449.00 INR
Availability: InStock

Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems

by Christian Herde

Vieweg+teubner Verlag · 2011

₹5,449

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

About this book

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems is written by Christian Herde. This edition from Vieweg+teubner Verlag (2011).

Topics covered include Computer science.