| Type |  Book |
| ชื่อเรื่อง | Program construction : calculating implementations from specifications / Roland Backhouse |
| ผู้แต่ง | Backhouse, Roland |
| ISBN | 0470848820 |
| | 0470848820 (pbk) |
| พิมพลักษณ์ | Chichester : John Wiley & Sons, c2003 |
| | Chichester : Wiley, 2003 |
| รูปเล่ม | xii, 340 p |
| หัวเรื่อง | Computer programming |