| Type |  Book |
| ชื่อเรื่อง | Verification, induction, termination analysis [electronic resource] : festschrift for Christoph Walther on the occasion of his 60th birthday / Simon Siegler, Nathan Wasser (eds.) |
| ISBN | 3642171729 |
| | 9783642171727 |
| พิมพลักษณ์ | New York : Springer, 2010 |
| รูปเล่ม | 143 p. : ill |
| ลิงค์ | COMPUTER FILE |
| หัวเรื่อง | Functional programming (Computer science) |