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.

Reseña del editor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
1997
Sprache
Englisch
ISBN 10 
0412813300
ISBN 13 
9780412813306
Einband
Tapa dura
Anzahl der Seiten
328
Herausgeber
Probst David, Hon Li
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
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-Verlag New York Inc., 1998
Softcover