Advances in Hardware Design and Verification
David Probst
ISBN 10: 0412813300 ISBN 13: 9780412813306
Published by Springer Nature B.V. Okt 1997, 1997
New
Buch
From
AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
AbeBooks Seller since August 14, 2006
This specific item is no longer available.
About this Item
Description:
Neuware - 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. Seller Inventory # 9780412813306
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.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Advances in Hardware Design and Verification
Publisher: Springer Nature B.V. Okt 1997
Publication Date: 1997
Binding: Buch
Condition: Neu