| Type |  Book |
| ชื่อเรื่อง | Reasoning about program transformations [electronic resource] : imperative programming and flow of data / Jean-Francois Collard |
| ผู้แต่ง | Collard, Jean-francois |
| ISBN | 0387224610 (electronic bk.) |
| พิมพลักษณ์ | New York : Springer, c2003 |
| รูปเล่ม | 1 online resource (xviii, 237 p.) : ill |
| หัวเรื่อง | Programming languages (Electronic computers) |