This specific ISBN edition is currently not available.View all copies of this ISBN edition:
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 circuit design. Particular emphasis is given to benchmark-circuits for hardware verification; tutorials on two popular theorem provers are included.
"synopsis" may belong to another edition of this title.
Book Description Condition: New. New. US edition. Perfect condition. Customer satisfaction our priority. Seller Inventory # ABE-FEB-123845
Book Description Condition: Brand New. New. US edition. Customer Satisfaction guaranteed!!. Seller Inventory # SHUB123845
Book Description Condition: Brand New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!. Seller Inventory # AIND-37896
Book Description Condition: Brand New. New, US edition. Excellent Customer Service. Seller Inventory # ABEUSA-123845
Book Description Condition: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.This item may ship fro the US or other locations in India depending on your location and availability. Seller Inventory # AUSBNEW-37896
Book Description Springer, 1995. Paperback. Condition: New. 1995. Seller Inventory # DADAX3540590471
Book Description Springer. Condition: New. Paperback. Worldwide shipping. FREE fast shipping inside USA (express 2-3 day delivery also available). Tracking service included. Ships from United States of America. Seller Inventory # 3540590471
Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 1995. PAP. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9783540590477
Book Description Springer. Condition: New. pp. viii + 303. Seller Inventory # 7400639
Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 1995. PAP. Condition: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # LQ-9783540590477