| Type |  Book |
| ชื่อเรื่อง | Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings / Ed Brinksma, Kim Guldstrand Larsen (eds.) |
| ผู้แต่ง | International Conference on Computer Aided Verification (14th : 2002 : Copenhagen, Denmark) |
| ISBN | 3540439978 |
| พิมพลักษณ์ | Berlin : Springer, c2002 |
| รูปเล่ม | xiii, 626 p. : ill. ; 24 cm |
| หัวเรื่อง | Computer software --Verification --Congresses [] |
| | Integrated circuits --Verification --Congresses [] |