| Type |  Book |
| ชื่อเรื่อง | Constructing correct software / John Cooke |
| ผู้แต่ง | Cooke, John |
| ISBN | 9781852338206 |
| | 1852338202 |
| | 1852338202 (pbk) |
| พิมพลักษณ์ | New York : Springer, 2005 |
| | London : Springer, c2005 |
| ครั้งที่พิมพ์ | 2nd ed |
| รูปเล่ม | xxi, 509 p |
| หัวเรื่อง | Computer software |
| | COMPUTER SOFTWARE --DEVELOPMENT [] |
| | FORMAL METHODS (COMPUTER SCIENCE) |