Skip to main content

CURRENTLY SOLD OUT

Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings by Thomas Kropf, Ramayya Kumar (Paperback, 1995)

About this product

About this product

Product Information

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.

Product Identifiers

Publisher
Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
ISBN-13
9783540590477
eBay Product ID (ePID)
95217942

Product Key Features

Author
Thomas Kropf, Ramayya Kumar
Publication Name
Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings
Format
Paperback
Language
English
Subject
Engineering & Technology, Computer Science, Physics
Publication Year
1995
Type
Textbook
Number of Pages
312 Pages

Dimensions

Item Height
233mm
Item Width
155mm
Volume
901
Item Weight
1010g

Additional Product Features

Series Title
Lecture Notes in Computer Science
Editor
Ramayya Kumar, Thomas Kropf
Country/Region of Manufacture
Germany

Best Selling in Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University

Australian Guidebook for Structural Engineers by Lonnie Pack (Paperback, 2019)
No ratings or reviews yet.
AU $84.19 New
---- Used
Eduqas GCSE (9-1) Religious Studies Route B: Catholic Christianity and Judaism by Deirdre Cleary, Andrew Barron, Joy White, Patrick Harrison (Paperback, 2017)
No ratings or reviews yet.
AU $100.97 New
---- Used
Time Management by Peter Quarry (Paperback, 1986)
No ratings or reviews yet.
AU $16.99 New
---- Used
The Ethnic Cleansing of Palestine by Ilan Pappe (Paperback, 2007)
5.0 out of 5 stars based on 1 product rating
AU $30.02 New
---- Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

The Australian Native Bee Hive Book: Keeping Stingless Sugarbag OATH Tim Heard
AU $31.98
Trending at AU $35.55
Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by A
AU $19.95
Trending at AU $20.64
Netter Atlas of Human Anatomy: Classic Regional Approach
AU $113.94
Trending at AU $122.07
Classical Mechanics: The Theoretical Minimum by George Hrabovsky
AU $27.46
Trending at AU $31.57
Havard's Nursing Guide to Drugs
AU $74.99
Trending at AU $76.69
Phillip J. Anderson The Secret Life of Real Estate and Banking (Hardback)
AU $94.61
Trending at AU $99.41

You may also like

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- You may also like