Siirry suoraan sisältöön
Reasoning About Program Transformations
Tallenna

Reasoning About Program Transformations

Overview The motivation of this text lies in what we believe is the inadequacy of current frameworks to reason about the ?ow of data in imperative programs.
Alaotsikko
Imperative Programming and Flow of Data
Painos
Softcover reprint of the original 1st ed. 2003
ISBN
9781441929815
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
3.12.2010
Sivumäärä
238