| Type |  Book |
| ชื่อเรื่อง | Hardware design verification : simulation and formal method-based approaches / William K. Lam |
| ผู้แต่ง | Lam, William k |
| ISBN | 0131433474 (alk. paper) |
| | 0131433474 (alk. paper) : ฿4590.00 |
| | 9780131433472 |
| | 9780131433472 (alk. paper) |
| | 0131433474 |
| พิมพลักษณ์ | Upper Saddle River, N.J. : Prentice Hall PTR, c2005 |
| รูปเล่ม | xxv, 585 p. : ill |
| ลิงค์ | Contents. |
| หัวเรื่อง | Integrated circuits |
| | INTEGRATED CIRCUITS --VERIFICATION [] |