Jean-Francois Collard - Reasoning About Program Transformations: Imperative Programming And Flow Of Data

Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of the original 1st ed. 2003, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 260, publicationDate : 2013-10-04, releaseDate : 2013-10-04, authors : Jean-Francois Collard, ISBN : 1441929819 ...