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.
Read More
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.
Read Less
Add this copy of Reasoning About Program Transformations to cart. $45.76, new condition, Sold by Educational Media Centre rated 4.0 out of 5 stars, ships from New Delhi, DELHI, INDIA, published 2010 by Springer-Verlag New York Inc..
Add this copy of Reasoning About Program Transformations to cart. $63.62, new condition, Sold by Basi6 International rated 5.0 out of 5 stars, ships from Irving, TX, UNITED STATES, published 2010 by Springer-Verlag New York Inc..
Add this copy of Reasoning About Program Transformations to cart. $63.86, new condition, Sold by Basi6 International rated 5.0 out of 5 stars, ships from Irving, TX, UNITED STATES, published 2010 by Springer-Verlag New York Inc..
Add this copy of Reasoning About Program Transformations: Imperative to cart. $65.35, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2010 by Springer-Verlag New York Inc..
Add this copy of Reasoning About Program Transformations: Imperative to cart. $66.31, new condition, Sold by Ria Christie Books rated 5.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2010 by Springer-Verlag New York Inc..
Add this copy of Reasoning About Program Transformations: Imperative to cart. $92.31, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2010 by Springer.
