.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Advances in Hardware Design and Verification
. Ed(S): Li, H.F.; Probst, D.K.
€ 200.42
FREE Delivery in Ireland
Description for Advances in Hardware Design and Verification
Hardback. 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.
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.
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.
Product Details
Format
Hardback
Publication date
1997
Publisher
Chapman and Hall United Kingdom
Number of pages
322
Condition
New
Series
IFIP Advances in Information and Communication Technology
Number of Pages
313
Place of Publication
London, United Kingdom
ISBN
9780412813306
SKU
V9780412813306
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Advances in Hardware Design and Verification