| Type |  Book |
| ชื่อเรื่อง | Logic and specifiction : extending VDM-SL for advanced formal specification / Cornelis A. Middelburg |
| ผู้แต่ง | Middelburg, Cornelis a |
| ISBN | 0412486806 |
| | 9780412486807 |
| พิมพลักษณ์ | London ; New York : Chapman & Hall, 1993 |
| ครั้งที่พิมพ์ | 1st English language ed |
| รูปเล่ม | xi, 404 pages ; 25 cm |
| หัวเรื่อง | Logic, Symbolic and mathematical |
| | Programming languages (Electronic computers) --Semantics [] |
| | Software engineering |