Tell your friends about this item:
Correct Hardware Design and Verification Methods: 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrucken, Germany, October 3-6, 2005, Proceedings - Theoretical Computer Science and General Issues D Borrione 2005 edition
Correct Hardware Design and Verification Methods: 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrucken, Germany, October 3-6, 2005, Proceedings - Theoretical Computer Science and General Issues
D Borrione
Constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2005, held in Saarbrucken, Germany, in October 2005.
414 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | September 19, 2005 |
| ISBN13 | 9783540291053 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 414 |
| Dimensions | 155 × 235 × 22 mm · 603 g |
| Language | French |
| Editor | Borrione, Dominique |
| Editor | Paul, Wolfgang |