| Type |  Book |
| ชื่อเรื่อง | Formal methods of program verification and specification / by H.K. Berg...[et al.] |
| พิมพลักษณ์ | Englewood Cliffs, N.J. : Prentice-Hall, c1982 |
| รูปเล่ม | 207 p |
| หัวเรื่อง | Computer programs --Specifications [] |
| | Computer programs --Verification [] |