
Reasoning About Program Transformations
- Undertitel
- Imperative Programming and Flow of Data
- Författare
- Jean-Francois Collard
- Upplaga
- Softcover reprint of the original 1st ed. 2003
- ISBN
- 9781441929815
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2010-12-03
- Sidor
- 238