
Tell your friends about this item:
Advances in Hardware Design and Verification - IFIP Advances in Information and Communication Technology 1997 edition
Chapman
Advances in Hardware Design and Verification - IFIP Advances in Information and Communication Technology 1997 edition
Chapman
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.
314 pages, biography
Media | Books Hardcover Book (Book with hard spine and cover) |
Released | October 31, 1997 |
ISBN13 | 9780412813306 |
Publishers | Chapman and Hall |
Pages | 313 |
Dimensions | 155 × 235 × 19 mm · 635 g |
Editor | Hon Li |
Editor | Probst, David |
Show all
More by Chapman
Others have also bought
See all of Chapman ( e.g. Book , Hardcover Book , Paperback Book and CD )