Advances in Hardware Design and Verification
. Ed(s): Li, H.F.; Probst, D.K.
ISBN 10: 0412813300 ISBN 13: 9780412813306
Published by Chapman and Hall, 1997
New
Hardcover
From
Kennys Bookstore, Olney, MD, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since October 9, 2009
This specific item is no longer available.
About this Item
Description:
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. Editor(s): Li, H.F.; Probst, D.K. Series: IFIP Advances in Information and Communication Technology. Num Pages: 322 pages, biography. BIC Classification: UN; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 1400. . 1997. Hardback. . . . . Books ship from the US and Ireland. Seller Inventory # V9780412813306
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: Chapman and Hall
Publication Date: 1997
Binding: Hardcover
Condition: New