Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, Tpcd '94, Bad Herrenalb, Germany, September 26-28

By Ramayya Kumar and Thomas Kropf

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540590471
• ISBN13: 9783540590477
• Release Date: March 1995
• Publisher: Springer
• Length: 312 Pages
• Weight: 1.00 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"