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

About this Item

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

Bibliographic Details

• Title: Advances in Hardware Design and Verification
• Publisher: Chapman and Hall
• Publication Date: 1997
• Language: English
• ISBN 10: 0412813300
• ISBN 13: 9780412813306
• Binding: Hardcover
• Condition: New

About this title

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.