
Advances in Hardware Design and Verification
Format: Paperback
ISBN13: 9781504128858
Paperback|9781504128858
Out of Stock
Overview
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.
| ISBN-13 | 9781504128858 |
|---|---|
| ISBN-10 | 1504128850 |
| List Price | $208.00 |
| Edition | 1st Edition |
| Format | Paperback |
|---|---|
| Language | English |
| Pages | ix, 313 pages |
| Publisher | Springer |
| Published On | 1998-11-14 |
View All Offers
Sort by:
Price