BookShops.in
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure (English, Christian Herde)
Religion & Spirituality

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure (English, Christian Herde)

By Christian HerdeVieweg+teubner Verlag
₹5,449

Inclusive of all applicable taxes. FREE shipping on all orders.

Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Verified ListingQuality-checked

Available Offers

  • 🚚Free Delivery — Free shipping on all orders
  • 💵Cash on Delivery — Pay when your order arrives
  • ↩️15-Day Easy Returns — Hassle-free return policy
  • 🔒Cash on Delivery — Pay safely when your order arrives

Check Delivery

Book Details

ISBN-139783834814944
ISBN-103834814946

Product Description

About the Book

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.

ISBN: 9783834814944

Frequently Asked Questions

What is the price of Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure?
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure is available at ₹5,449 on BookShops.in.
Does BookShops.in offer free delivery for Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure?
FREE delivery on all orders for Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure.
Is Cash on Delivery available for Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure?
Yes, Cash on Delivery (COD) is available for Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure on BookShops.in. Pay when your order arrives.
What is the return policy for Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure?
BookShops.in offers a 15-day hassle-free return policy for Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure. Contact us at support@bookshops.in or call +91 81899 68108.
Is Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure authentic?
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure is listed on BookShops.in after verification of product details including ISBN, title, and availability information.

Related Products

View All
Buy Rethinking Jewish-Latin Americans (English, Jeffrey Lesser | Raanan Rein) — BookShops.in

Religion & Spirituality

Rethinking Jewish-Latin Americans (English, Jeffrey Lesser | Raanan Rein)

₹2,943
Buy Late Churches and Chapels in Berkshire (English, J. R. L. Allen) — BookShops.in

Religion & Spirituality

Late Churches and Chapels in Berkshire (English, J. R. L. Allen)

₹5,752
Buy Pagans and Christians - from Antiquity to the Middle Ages (English, Lauren Gilmour) — BookShops.in-62%

Religion & Spirituality

Pagans and Christians - from Antiquity to the Middle Ages (English, Lauren Gilmour)

₹5,485₹14,362
Buy Antisemitism, Christian Ambivalence, and the Holocaust (English, Kevin P. Spicer) — BookShops.in

Religion & Spirituality

Antisemitism, Christian Ambivalence, and the Holocaust (English, Kevin P. Spicer)

₹2,799
Buy Smash the Church, Smash the State! (English, Tommi Avicolli Mecca) — BookShops.in

Religion & Spirituality

Smash the Church, Smash the State! (English, Tommi Avicolli Mecca)

₹1,541
Buy Abitur Und Was Dann? (English, Mechtild Oechsle | Helen Knauf | Christiane Maschetzke) — BookShops.in

Religion & Spirituality

Abitur Und Was Dann? (English, Mechtild Oechsle | Helen Knauf | Christiane Maschetzke)

₹5,723