Advances in Hardware Design and Verification

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.

Summary

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

• Authors: Chapman, Chapman & Hall, Hall
• Assisted by: Hon Li (Editor), Hon Li (Editor), H.F. Li (Editor), Ho Li (Editor), Hon Li (Editor), Probst (Editor), Probst (Editor), D.K. Probst (Editor), David Probst (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Hardback
• Released: 03.03.2011
• EAN: 9780412813306
• ISBN: 978-0-412-81330-6
• No. of pages: 313
• Dimensions: 156 mm x 234 mm x 19 mm
• Weight: 1400 g
• Illustrations: IX, 313 p.
• Series: IFIP Advances in Information and Communication Technology; Ifip International Federation; IFIP Advances in Information and Communication Tec; IFIP Advances in Information and Communication Technology; IFIP International Federation for Information Processing; IFIP Advances in Information and Communication Tec; Ifip International Federation; IFIP Advances in Information a
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > IT