Advances in Hardware Design and Verification (IFIP Advances in Information and Communication Technology) - Hardcover

 
9780412813306: Advances in Hardware Design and Verification (IFIP Advances in Information and Communication Technology)
Hardcover
ISBN 10: 0412813300 ISBN 13: 9780412813306
Verlag: Springer, 1997

Inhaltsangabe

CHARM '97 is the ninth in a series of working conferences devoted to the development and use of formal techniques in digital hardware design and verification. This series is held in collaboration with IFIP WG 10.5. Previous meetings were held in Europe every other year.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
1997
Sprache
Englisch
ISBN 10 
0412813300
ISBN 13 
9780412813306
Einband
Gebundene Ausgabe
Anzahl der Seiten
322
Herausgeber
Hon Li, Probst David
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Tiergartenstr. 17
Heidelberg
69121
Deutschland

Weitere beliebte Ausgaben desselben Titels

9781504128858: Advances in Hardware Design and Verification (IFIP Advances in Information and Communication Technology)

Vorgestellte Ausgabe

ISBN 10:  1504128850 ISBN 13:  9781504128858
Verlag: Springer, 1998
Softcover