| Type |  Book |
| ชื่อเรื่อง | Systematic software development using VDM / Cliff B. Jones |
| ผู้แต่ง | Jones, Cliff b |
| ISBN | 0138807337 |
| พิมพลักษณ์ | New York : Prentice Hall, 1990 |
| | New York : Prentice Hall, c1990 |
| | New York : Prentice-Hall, 1989 |
| ครั้งที่พิมพ์ | 2nd ed |
| รูปเล่ม | xiv, 333 p. ; 25 cm |
| หัวเรื่อง | COMPUTER SOFTWARE --DEVELOPMENT [] |
| | Computer software development |