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, United States of America)

Parla con il Libraio

Metodi di Pagamento

Dettagli

Year of publication
1995
ISBN
9783540590477
Place of printing
New York
Author
Kumar, Ramayya, Kropf, Thomas (Eds.)
Publishers
Springer-Verlag
Edition
Reprint
Keyword
Engineering
Binding description
Paperback
State of preservation
Very Good
Languages
English
Binding
Softcover
First edition
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 en