Questo sito usa cookie di analytics per raccogliere dati in forma aggregata e cookie di terze parti per migliorare l'esperienza utente.
Leggi l'Informativa Cookie Policy completa.

Libri antichi e moderni

Kumar, Ramayya, Kropf, Thomas (Eds.)

Theorem Provers in Circuit Design: Theory, Practice and Experience

Springer-Verlag, 1995

18,80 €

George Cross Books

(Lexington, Stati Uniti d'America)

Parla con il Libraio

Metodi di Pagamento

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
No

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
Logo Maremagnum it