Annual Member
| Author | Collard, Jean-Fran๐cois |
|---|---|
| Title | Reasoning about program transformations [electronic resource] : imperative programming and flow of data / Jean-Fran๐cois Collard |
| Imprint | New York : Springer, 2003 |
| Connect to | http://www.netLibrary.com/urlapi.asp?action=summary&v=1&bookid=98902 |
| Descript | xviii, 237 p. : ill |
