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
Other Authors: | , |
---|---|
Format: | eBook |
Language: | English |
Published: |
New York, NY
Springer US
1997, 1997
|
Edition: | 1st ed. 1997 |
Series: | IFIP Advances in Information and Communication Technology
|
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
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 |
---|---|
Physical Description: | IX, 313 p online resource |
ISBN: | 9780387351902 |