| Type |  Book |
| ชื่อเรื่อง | Current trends in programming methodology. volume II, program validation / edited by Raymond T. Yeh |
| ISBN | 0131957198 (v.2) |
| พิมพลักษณ์ | New Jersey : Prentice-Hall, c1977 |
| รูปเล่ม | 322 p. : ill |
| หัวเรื่อง | Computer program testing |
| | Debugging in computer science |
| | Programming (Electronic computers) |