Theorem Provers in Circuit Design: Theory, Practice and Experience
Libri antichi e moderni
Kumar, Ramayya, Kropf, Thomas (Eds.)
Springer-Verlag,
1995
Theorem Provers in Circuit Design: Theory, Practice and Experience
Libri antichi e moderni
Kumar, Ramayya, Kropf, Thomas (Eds.)
Springer-Verlag,
1995
18,80 €
(Lexington,
Stati Uniti d'America)
Metodi di Pagamento
- PayPal
- Carta di Credito
- Bonifico Bancario
- Pubblica amministrazione
- Carta del Docente
Dettagli
- Anno di pubblicazione
- 1995
- ISBN
- 9783540590477
- Luogo di stampa
- New York
- Autore
- Kumar, Ramayya, Kropf, Thomas (Eds.)
- Editori
- Springer-Verlag
- Edizione
- Reprint
- Soggetto
- Engineering
- Descrizione
- Paperback
- Stato di conservazione
- Molto buono
- Lingue
- Inglese
- Legatura
- Brossura
- Prima edizione
- False
Descrizione
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
