| Type |  Book |
| ชื่อเรื่อง | Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings / Rajeev Alur, Doron A. Peled (eds.) |
| ผู้แต่ง | International Conference on Computer Aided Verification (16th : 2004 : Boston, Massachusetts) |
| ISBN | 3540223428 (pbk.) |
| | 9783540223429 (pbk.) |
| พิมพลักษณ์ | Berlin : Springer, c2004 |
| รูปเล่ม | xii, 536 p. : ill. ; 24 cm |
| หัวเรื่อง | Computer software --Verification --Congresses [] |
| | Electronic digital computers --Evaluation --Congresses [] |
| | Integrated circuits --Verification --Congresses [] |