| Type |  Book |
| ชื่อเรื่อง | Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings / Tiziana Margaria, Tom Melham (eds.) |
| ผู้แต่ง | CHARME 2001 (2001 : Livingston, Scotland) |
| ISBN | 3540425411 |
| พิมพลักษณ์ | Berlin : Springer, c2001 |
| รูปเล่ม | xii, 482 p. : ill. ; 24 cm |
| หัวเรื่อง | Integrated circuits --Verification --Congresses [] |
| | Integrated circuits --Very large scale integration --Computer-aided design --Congresses [] |