Theorem Provers in Circuit Design: Theory, Practice and Experience

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

Second International Conference, TPCD ’94, Bad Herrenalb, Germany, September 26-28,1994. Proceedings, Lecture Notes in Computer Science 901

ISBN: 3540590471
ISBN 13: 9783540590477
Herausgeber: Ramayya Kumar/Thomas Kropf
Verlag: Springer Verlag GmbH
Umfang: viii, 312 S.
Erscheinungsdatum: 06.03.1995
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1433618 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …