| Type |  Book |
| ชื่อเรื่อง | Formal specification using Z / David Lightfoot |
| ผู้แต่ง | Ligthfoot, David |
| ISBN | 0333763270 : 1350.00 |
| พิมพลักษณ์ | New York : Palgrave, c2001 |
| ครั้งที่พิมพ์ | 2nd ed |
| รูปเล่ม | 164 p : ill |
| ลิงค์ | Contents. |
| หัวเรื่อง | Z (Computer program language) |