| Type |  Book |
| ชื่อเรื่อง | Formal verificaiton of hardware design / edited by Michael Yoeli |
| ผู้แต่ง | Institute of electrical and electronics engineers |
| ISBN | 0818690178 |
| พิมพลักษณ์ | Washington : IEEE Computer Society Press, c1990 |
| รูปเล่ม | 329 p. : ill |
| หัวเรื่อง | Computer-aided design |
| | Computer software verification |
| | Very large scale integration of circuits |