Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure (English, Christian Herde)
Delivery options
₹5,449
100% Genuine Book · Verified Seller
Free Shipping · Ships Today💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Ships same day. Delivery in 3-4 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹5,449
Book Details
Publisher
Vieweg+teubner Verlag
Language
English
ISBN-13
9783834814944
ISBN-10
3834814946
Author
Christian Herde
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
ISBN-13: 9783834814944
ISBN-10: 3834814946
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 starts from ₹5449 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure?
Christian Herde is the author of Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure. Browse more books by Christian Herde on BookBajar.
Is Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure available in Paperback and Hardcover?
Yes, Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure?
Yes, BookBajar offers free delivery for Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure across India. No minimum order value required.
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 BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783834814944
🛒 Customers Also Bought
Theoretische Regelungstechnik 2 (English, Günter Ludyk)
₹3,255
Festschrift Zur Einweihung Des Neubaues Der Bauingenieur-Abteilung an Der Technischen Hochschule "Fr (English, Prof W. Sackur | Fr Engesser | Th Rehbo
₹5,025
Die Stammesgeschichte Der Primaten Und Die Entwicklung Der Menschenrassen (English, Theodor Arldt)
₹5,885
Käse. Margarinkäse (English, Hugo Burtscher | W. Winkler | Architektur Stiftung Österreich)
₹5,772
Elastizität Und Festigkeit Im Rohrleitungsbau (English, Helmut Von Jürgensonn)
₹5,394
Schweißtechnik Im Stahlbau (English, G. Bierett | E. Diepschlag | K. Klöppel)
₹5,577Related Products
The Cinderella.2 Manual (English, Jürgen Richter-Gebert | Ulrich H. Kortenkamp)
₹5,838
Denkfallen Und Programmierfehler (English, Timm Grams)
₹3,508
Enterprise Information Systems (English, Joaquim Filipe | José Cordeiro)
₹11,577
Topological Methods in Data Analysis and Visualization II (English, Ronald Peikert | Helwig Hauser | Hamish Carr)
₹16,769
Theoretische Konzepte Der Physik (English, Malcolm S. Longair | B. Simon | H. Simon)
₹3,508