Gå direkt till innehållet
Reasoning About Program Transformations
Spara

Reasoning About Program Transformations

Lägsta pris på PriceRunner
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.
Undertitel
Imperative Programming and Flow of Data
Upplaga
Softcover reprint of the original 1st ed. 2003
ISBN
9781441929815
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2010-12-03
Sidor
238