Take a photo of a barcode or cover
Read With Others
Book Information
312 pages • paperback • 1 edition
ISBN/UID: 9783540590477
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 06 Mar 1995
Description
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 Herrenal...
Community Reviews
Content Warnings
312 pages • paperback
ISBN/UID: 9783540590477
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 06 Mar 1995
Description
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 Herrenal...
Community Reviews
Content Warnings