Summary goes here
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | c9a34e92-4e9b-4dde-970e-98e299dfd38b |
| isbn | 9780387953915 (alk. paper) |
| issn | |
| language | eng |
| physical | xviii, 237 pages :illustrations ;25 cm |
| publication | – publisher: Springer dateOfPublication: ©2003 |
| publishDate | ©2003 |
| subjects | |
| title | Reasoning about program transformations : imperative programming and flow of data / Jean-François Collard. |
| topic | Imperative programming. Programming languages (Electronic computers) |