Tell your friends about this item:
Theorem Provers in Circuit Design: Theory, Practice and Experience - Lecture Notes in Computer Science Ramayya Kumar
Theorem Provers in Circuit Design: Theory, Practice and Experience - Lecture Notes in Computer Science
Ramayya Kumar
Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994. Proceedings
320 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | March 6, 1995 |
| ISBN13 | 9783540590477 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 320 |
| Dimensions | 155 × 233 × 17 mm · 453 g |
| Language | German |
| Editor | Kropf, Thomas |
| Editor | Kumar, Ramayya |