|
| |
 Don't Miss
More at Powell's
Powell's Q&A, Q&A | December 13, 2009
By Norberto Fuentes
Describe your latest project. Norton has just published The Autobiography of Fidel Castro, a novel that took seven years of my life to complete as I...
Continue »
-
 |
This item may be
out of stock.
Click on the button below to search for this title in other formats.
Check for Availability
This title in other formats:
Theorem Provers in Circuit Design: Theory, Practice, & Experience: Proceedings of the Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994
Product Details
- ISBN:
- 9780387590479
- Subtitle:
- (theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings )
- Publisher:
- Springer-Verlag
- Location:
- Berlin ;
- Subject:
- Digital integrated circuits
- Subject:
- Automatic theorem proving
- Subject:
- Computer-aided design -- Congresses.
- Subject:
- Automatic theorem proving -- Congresses.
- Edition Description:
- Includes bibliographical references.
- Series:
- Lecture notes in computer science ;
- Series Volume:
- 103-368901
- Publication Date:
- c1995
- Illustrations:
- Yes
- Pages:
- viii, 303 p.
|
|
|
|
|
