Gå direkte til innholdet
Reasoning About Program Transformations
Spar

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.
Undertittel
Imperative Programming and Flow of Data
Opplag
Softcover reprint of the original 1st ed. 2003
ISBN
9781441929815
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
3.12.2010
Antall sider
238