Theorem Provers in Circuit Design: Theory, Practice and Experience
Theorem Provers in Circuit Design: Theory, Practice and Experience | Livres anciens et modernes | Kumar, Ramayya, Kropf, Thomas (Eds.)
Livres anciens et modernes
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 | Livres anciens et modernes | Kumar, Ramayya, Kropf, Thomas (Eds.)
Livres anciens et modernes
Kumar, Ramayya, Kropf, Thomas (Eds.)
Springer-Verlag,
1995
18,80 €
(Lexington,
États-Unis d'Amérique)
Mode de Paiement
- PayPal
- Carte bancaire
- Virement bancaire
- Pubblica amministrazione
- Carta del Docente
Détails
- Année
- 1995
- ISBN
- 9783540590477
- Lieu d'édition
- New York
- Auteur
- Kumar, Ramayya, Kropf, Thomas (Eds.)
- Éditeurs
- Springer-Verlag
- Edition
- Reprint
- Thème
- Engineering
- Description
- Paperback
- Etat de conservation
- Tres bonne condition
- Langues
- Anglais
- Reliure
- Couverture souple
- Premiére 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
