Advances in Hardware Design and Verification - Couverture rigide

 
9780412813306: Advances in Hardware Design and Verification

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Autres éditions populaires du même titre

9781504128858: Advances in Hardware Design and Verification

Edition présentée

ISBN 10 :  1504128850 ISBN 13 :  9781504128858
Editeur : Springer-Verlag New York Inc., 1998
Couverture souple