Tell your friends about this item:
Advances in Hardware Design and Verification - IFIP Advances in Information and Communication Technology Chapman 1997 edition
Price
$ 184.99
excl. VAT
Ordered from remote warehouse
Expected to be ready for shipping May 27 - Jun 8
Our customers say:
Add to your iMusic wish list
Advances in Hardware Design and Verification - IFIP Advances in Information and Communication Technology
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 |
![Cover for Chapman · Intelligent Systems for Manufacturing: Multi-Agent Systems and Virtual Organizations Proceedings of the BASYS'98 - 3rd IEEE / IFIP International Conference on Information Technology for BALANCED AUTOMATION SYSTEMS in Manufacturing Prague, Czech Republic, (Hardcover Book) [1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/700/9780412846700.jpg?chapman-1998-intelligent-systems-for-manufacturing-multi-agent-systems-and-virtual-organizations-proceedings-of-the-basys-98-3rd-ieee-ifip-international-conference-on-information-technology-for-balanced-automation-systems-in-manufacturing-prague-czech-repu&class=scaled&v=1447305230)
![Cover for Chapman · Performance of Information and Communication Systems: IFIP TC6 / WG6.3 Seventh International Conference on Performance of Information and Communication Systems (PICS '98) 25-28 May 1998, Lund, Sweden - IFIP Advances in Information and Communication Techno (Hardcover Book) [1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/302/9780412837302.jpg?chapman-1998-performance-of-information-and-communication-systems-ifip-tc6-wg6-3-seventh-international-conference-on-performance-of-information-and-communication-systems-pics-98-25-28-may-1998-lund-sweden-ifip-advances-in-information-and-communication-tech&class=scaled&v=1444725504)
![Cover for Chapman · Optical Network Design and Modelling: IFIP TC6 Working Conference on Optical Network Design and Modelling 24-25 February 1997, Vienna, Austria - IFIP Advances in Information and Communication Technology (Hardcover Book) [1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/603/9780412842603.jpg?chapman-1998-optical-network-design-and-modelling-ifip-tc6-working-conference-on-optical-network-design-and-modelling-24-25-february-1997-vienna-austria-ifip-advances-in-information-and-communication-technology-hardcover-book&class=scaled&v=1447305231)
![Cover for Chapman · Systems Implementation 2000 - IFIP Advances in Information and Communication Technology (Hardcover Book) [1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/308/9780412835308.jpg?chapman-1998-systems-implementation-2000-ifip-advances-in-information-and-communication-technology-hardcover-book&class=scaled&v=1447305229)
![Cover for Chapman · Encyclopedia of European and Asian Regional Geology - Encyclopedia of Earth Sciences Series (Hardcover Book) [1998 edition] (1997)](https://imusic.b-cdn.net/images/item/original/404/9780412740404.jpg?chapman-1997-encyclopedia-of-european-and-asian-regional-geology-encyclopedia-of-earth-sciences-series-hardcover-book&class=scaled&v=1420800552)
![Cover for Chapman · Integrity and Internal Control in Information Systems: Volume 1: Increasing the confidence in information systems - IFIP Advances in Information and Communication Technology (Hardcover Book) [1997 edition] (1997)](https://imusic.b-cdn.net/images/item/original/009/9780412826009.jpg?chapman-1997-integrity-and-internal-control-in-information-systems-volume-1-increasing-the-confidence-in-information-systems-ifip-advances-in-information-and-communication-technology-hardcover-book&class=scaled&v=1447305231)
![Cover for Chapman · Structure and Properties of Oriented Polymers (Hardcover Book) [2nd ed. 1997 edition] (1997)](https://imusic.b-cdn.net/images/item/original/803/9780412608803.jpg?chapman-1997-structure-and-properties-of-oriented-polymers-hardcover-book&class=scaled&v=1447305229)
![Cover for Chapman · Fluvial Geomorphology of Great Britain - Geological Conservation Review Series (Hardcover Book) [1997 edition] (1997)](https://imusic.b-cdn.net/images/item/original/304/9780412789304.jpg?chapman-1997-fluvial-geomorphology-of-great-britain-geological-conservation-review-series-hardcover-book&class=scaled&v=1623680152)
![Cover for Chapman · Computer Applications in Production and Engineering: IFIP TC5 International Conference on Computer Applications in Production and Engineering (CAPE '97) 5-7 November 1997, Detroit, Michigan, USA - IFIP Advances in Information and Communication Technology (Hardcover Book) [1997 edition] (1997)](https://imusic.b-cdn.net/images/item/original/103/9780412821103.jpg?chapman-1997-computer-applications-in-production-and-engineering-ifip-tc5-international-conference-on-computer-applications-in-production-and-engineering-cape-97-5-7-november-1997-detroit-michigan-usa-ifip-advances-in-information-and-communication-technolo&class=scaled&v=1447305229)
![Cover for Chapman · The Physics of Glassy Polymers (Hardcover Book) [2nd ed. 1997 edition] (1997)](https://imusic.b-cdn.net/images/item/original/605/9780412624605.jpg?chapman-1997-the-physics-of-glassy-polymers-hardcover-book&class=scaled&v=1447305229)
![Cover for Chapman · Distributed Applications and Interoperable Systems (Hardcover Book) [1997 edition] (1997)](https://imusic.b-cdn.net/images/item/original/404/9780412823404.jpg?chapman-1997-distributed-applications-and-interoperable-systems-hardcover-book&class=scaled&v=1447305231)
![Cover for Chapman · Communications and Multimedia Security: Volume 3 - IFIP Advances in Information and Communication Technology (Hardcover Book) [1997 edition] (1997)](https://imusic.b-cdn.net/images/item/original/700/9780412817700.jpg?chapman-1997-communications-and-multimedia-security-volume-3-ifip-advances-in-information-and-communication-technology-hardcover-book&class=scaled&v=1447305230)
![Cover for Chapman · Human-Computer Interaction: INTERACT '97 - IFIP Advances in Information and Communication Technology (Hardcover Book) [1997 edition] (1997)](https://imusic.b-cdn.net/images/item/original/507/9780412809507.jpg?chapman-1997-human-computer-interaction-interact-97-ifip-advances-in-information-and-communication-technology-hardcover-book&class=scaled&v=1447305229)
![Cover for Chapman · Open Distributed Processing and Distributed Platforms - IFIP Advances in Information and Communication Technology (Hardcover Book) [1997 edition] (1997)](https://imusic.b-cdn.net/images/item/original/309/9780412812309.jpg?chapman-1997-open-distributed-processing-and-distributed-platforms-ifip-advances-in-information-and-communication-technology-hardcover-book&class=scaled&v=1447305230)
![Cover for Chapman · Information Systems and Qualitative Research: Proceedings of the IFIP TC8 WG 8.2 International Conference on Information Systems and Qualitative Research, 31st May-3rd June 1997, Philadelphia, Pennsylvania, USA - IFIP Advances in Information and Communica (Hardcover Book) [1997 edition] (1997)](https://imusic.b-cdn.net/images/item/original/602/9780412823602.jpg?chapman-1997-information-systems-and-qualitative-research-proceedings-of-the-ifip-tc8-wg-8-2-international-conference-on-information-systems-and-qualitative-research-31st-may-3rd-june-1997-philadelphia-pennsylvania-usa-ifip-advances-in-information-and-comm&class=scaled&v=1447305229)
![Cover for Chapman · Biology of the Insect Midgut (Hardcover Book) [1996 edition] (1996)](https://imusic.b-cdn.net/images/item/original/709/9780412616709.jpg?chapman-1996-biology-of-the-insect-midgut-hardcover-book&class=scaled&v=1447305230)
![Cover for Chapman · Information Systems Security: Facing the information society of the 21st century - IFIP Advances in Information and Communication Technology (Hardcover Book) [1996 edition] (1996)](https://imusic.b-cdn.net/images/item/original/209/9780412781209.jpg?chapman-1996-information-systems-security-facing-the-information-society-of-the-21st-century-ifip-advances-in-information-and-communication-technology-hardcover-book&class=scaled&v=1440701898)
![Cover for Chapman · Ethics of Computing: Codes, spaces for discussion and law - IFIP Advances in Information and Communication Technology (Hardcover Book) [1996 edition] (1996)](https://imusic.b-cdn.net/images/item/original/200/9780412726200.jpg?chapman-1996-ethics-of-computing-codes-spaces-for-discussion-and-law-ifip-advances-in-information-and-communication-technology-hardcover-book&class=scaled&v=1447305230)
![Cover for Chapman · Formal Description Techniques VIII - IFIP Advances in Information and Communication Technology (Hardcover Book) [1996 edition] (1996)](https://imusic.b-cdn.net/images/item/original/706/9780412732706.jpg?chapman-1996-formal-description-techniques-viii-ifip-advances-in-information-and-communication-technology-hardcover-book&class=scaled&v=1447305230)
![Cover for Chapman · Information Security - the Next Decade - IFIP Advances in Information and Communication Technology (Hardcover Book) [1995 edition] (1995)](https://imusic.b-cdn.net/images/item/original/209/9780412640209.jpg?chapman-1995-information-security-the-next-decade-ifip-advances-in-information-and-communication-technology-hardcover-book&class=scaled&v=1447305230)