| Type |  Book |
| ชื่อเรื่อง | Computer aided verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings / Warren A. Hunt, Jr., Fabio Somenzi (eds.) |
| ผู้แต่ง | International Conference on Computer Aided Verification (15th : 2003 : Boulder, Colo.) |
| ISBN | 3540405240 |
| พิมพลักษณ์ | Berlin : Springer, c2003 |
| รูปเล่ม | xii, 462 p. : ill. ; 24 cm |
| หัวเรื่อง | Computer software --Verification --Congresses [] |
| | Electronic digital computers --Evaluation --Congresses [] |
| | Integrated circuits --Verification --Congresses [] |