Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

Name: Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Brand: Springer Fachmedien Wiesbaden
SKU: 01782369
Price: 53.79 EUR
Availability: InStock
Author: Christian Herde
ISBN: 9783834814944

Proof Engines for the Analysis of Hybrid Discrete-continuous Systems

Christian Herde

Language

English

Book Paperback

Libristo code: 01782369

Publishers Springer Fachmedien Wiesbaden, February 2011

Christian Herde deals with the development of decision procedures as needed, e.g., for automatic ver... Full description

Libristo code: 01782369

132 b

53.79 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

Organisches Germanium Kazuhiko Asai

Paperback

21.00 €

Das Innerste Beruhren Maike Stüven

Hardback

17.99 €

Hochdeutsche Gedichte Friedrich Stoltze

Paperback

46.90 €

Betriebswirtschaftslehre für das Sozialwesen Arnold Pracht

Paperback

19.95 €

Architettura di rete con indirizzamento ricorsivo Hee Kim Young Hee Kim

Paperback

25.29 €

Catálogo da flora vascular galega NIÑO RICOI

Paperback

19.29 €

Prehistorický svět v životní velikosti Dougal Dixon

Hardback

18.69 €

Christian Herde deals with the development of decision procedures as needed, e.g., for automatic verification of hardware and software systems via bounded model checking. He provides methods for efficiently solving formulae comprising complex Boolean combinations of linear, polynomial, and transcendental arithmetic constraints, involving thousands of Boolean-, integer-, and real-valued variables.