Theorem Provers in Circuit Design: Theory, Practice and Experience
Theorem Provers in Circuit Design: Theory, Practice and Experience | Rare and modern books | Kumar, Ramayya, Kropf, Thomas (Eds.)
Rare and modern books
Kumar, Ramayya, Kropf, Thomas (Eds.)
Springer-Verlag,
1995
Theorem Provers in Circuit Design: Theory, Practice and Experience
Theorem Provers in Circuit Design: Theory, Practice and Experience | Rare and modern books | Kumar, Ramayya, Kropf, Thomas (Eds.)
Rare and modern books
Kumar, Ramayya, Kropf, Thomas (Eds.)
Springer-Verlag,
1995
18.80 €
(Lexington,
United States of America)
Payment methods
- PayPal
- Credit card
- Bank transfer
- Pubblica amministrazione
- Carta del Docente
Details
- Year of publication
- 1995
- ISBN
- 9783540590477
- Place of printing
- New York
- Author
- Kumar, Ramayya, Kropf, Thomas (Eds.)
- Publishers
- Springer-Verlag
- Edition
- Reprint
- Keyword
- Engineering
- Binding description
- Paperback
- State of preservation
- Very Good
- Languages
- English
- Binding
- Softcover
- First edition
- False
Description
Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 901 This volume presents the proceedings of the Second International Conference on Theorem Provers in Circuit Design (TPCD '94) jointly organiz
