Theorem Provers in Circuit Design: Theory, Practice and Experience
Theorem Provers in Circuit Design: Theory, Practice and Experience | Libros antiguos y modernos | Kumar, Ramayya, Kropf, Thomas (Eds.)
Libros antiguos y modernos
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 | Libros antiguos y modernos | Kumar, Ramayya, Kropf, Thomas (Eds.)
Libros antiguos y modernos
Kumar, Ramayya, Kropf, Thomas (Eds.)
Springer-Verlag,
1995
18,80 €
(Lexington,
Estados Unidos)
Formas de Pago
- PayPal
- Tarjeta de crédito
- Transferencia Bancaria
- Pubblica amministrazione
- Carta del Docente
Detalles
- Año de publicación
- 1995
- ISBN
- 9783540590477
- Lugar de impresión
- New York
- Autor
- Kumar, Ramayya, Kropf, Thomas (Eds.)
- Editores
- Springer-Verlag
- Edición
- Reprint
- Materia
- Engineering
- Descripción
- Paperback
- Conservación
- Muy bueno
- Idiomas
- Inlgés
- Encuadernación
- Tapa blanda
- Primera edición
- False
Descripción
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
