Theorem Provers in Circuit Design (English, Ramayya Kumar | Thomas Kropf)

Name: Theorem Provers in Circuit Design (English, Ramayya Kumar | Thomas Kropf)
SKU: isbn-9783540590477
Price: 5534.00 INR
Availability: InStock
ISBN: 9783540590477

By Ramayya Kumar | Thomas KropfSpringer

₹5,534

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

Quantity:

Free DeliveryOn every order

15-Day ReturnEasy returns

Genuine BookPhysical copy only

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

Product Description

About the Book

This volume presents the proceedings of the Second International Conference on Theorem Provers in Circuit Design (TPCD '94) jointly organized by the Forschungszentrum Informatik (University of Karlsruhe) and IFIP Working Group 10.2 in Bad Herrenalb, Germany in September 1994. The 19 papers included are thoroughly revised versions of the submissions selected for presentation at the conference and address all current aspects of theorem provers in c…

ISBN: 9783540590477

Book Specifications

ISBN-13	9783540590477
ISBN-10	3540590471
Publisher	Springer
Category	Art History

Frequently Asked Questions

What is the price of Theorem Provers in Circuit Design?

Theorem Provers in Circuit Design is available at ₹5,534 on BookShops.in.

Does BookShops.in offer free delivery for Theorem Provers in Circuit Design?

FREE delivery on all orders for Theorem Provers in Circuit Design.

Is Cash on Delivery available for Theorem Provers in Circuit Design?

Yes, Cash on Delivery (COD) is available for Theorem Provers in Circuit Design on BookShops.in. Pay when your order arrives.

What is the return policy for Theorem Provers in Circuit Design?

BookShops.in offers a 15-day hassle-free return policy for Theorem Provers in Circuit Design. Contact us at support@bookshops.in or call +91 95575 56855.

Is Theorem Provers in Circuit Design authentic?

Theorem Provers in Circuit Design is listed on BookShops.in after verification of product details including ISBN, title, and availability information.