
Reasoning About Program Transformations
- Alaotsikko
- Imperative Programming and Flow of Data
- Kirjailija
- Jean-Francois Collard
- Painos
- Softcover reprint of the original 1st ed. 2003
- ISBN
- 9781441929815
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 3.12.2010
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 238