| Type |  Book |
| ชื่อเรื่อง | Formal methods in computer-aided design : 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings / Mark D. Aagaard, John W. O' Leary (eds.) |
| ผู้แต่ง | FMCAD 2002 (4th : 2002 : Portland, Or.) |
| ISBN | 3540001166 |
| พิมพลักษณ์ | Berlin : Springer, c2002 |
| รูปเล่ม | xi, 398 p. : ill. ; 24 cm |
| หัวเรื่อง | Digital integrated circuits --Computer-aided design --Congresses [] |
| | Digital integrated circuits --Design and construction --Mathematics --Congresses [] |
| | Formal methods (Computer science) --Congresses [] |
| | Integrated circuits --Verification --Congresses [] |