| Type |  Book |
| ชื่อเรื่อง | An introduction to formal specification with Z and VDM / Deri Sheppard |
| ผู้แต่ง | Sheppard, Deri |
| ISBN | 0077079078 (pbk) |
| พิมพลักษณ์ | London : McGraw-Hill, c1995 |
| รูปเล่ม | 398 p. : ill |
| หัวเรื่อง | Computer software development |
| | Z (Computer program language) |