| Shelfclass_id | 3.F.3 |
| Sortkey | COLLARD, JEAN-FRANCOIS |
| Authors | Jean-Francois Collard |
| Title | Reasoning about Program Transformations: Imperative Programming and Flow of Data: [Elektronisk resurs] |
| Publisher | Springer-Verlag |
| Year | 2003 |
| Languages | eng |
| Isbn | 0387953914 |
| Description | (alk. paper) xviii, 237 p. ill. 25 cm |
| Record date | 20060703 |
| Location | New York |
| Keywords | Programming languages (Electronic computers), Electronic books |
| Urlnote | Jon |
| Urls | http://bibl.proxy.hj.se/login?url=http://site.ebrary.com/lib/jonhh/Doc?id=10047711 |