Advances in Hardware Design and Verification 1997 Edition Contributor(s): Hon Li (Editor), Probst, David (Editor) |
|
ISBN: 0412813300 ISBN-13: 9780412813306 Publisher: Springer OUR PRICE: $161.49 Product Type: Hardcover Published: October 1997 |
Additional Information |
BISAC Categories: - Computers | System Administration - Storage & Retrieval |
Dewey: 004.21 |
LCCN: 97077750 |
Series: IFIP Advances in Information and Communication Technology |
Physical Information: 0.75" H x 6.14" W x 9.21" (1.40 lbs) 313 pages |
Descriptions, Reviews, Etc. |
Publisher Description: 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. |