| Type |  Book |
| ชื่อเรื่อง | Mathematics of program construction [electronic resource] : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings / Dexter Kozen, editor |
| ผู้แต่ง | Mpc 2004 (2004 : Stirling, Stirling, Scotland) |
| ISBN | 3540277641 |
| | 9783540277644 |
| พิมพลักษณ์ | Berlin ; New York : Springer, c2004 |
| รูปเล่ม | 1 online resource (x, 399 p.) : ill |
| ลิงค์ | Connect to electronic resource |
| หัวเรื่อง | Computer programming --Congresses [] |
| | Computer science --Mathematics --Congresses [] |