Sandro Etalle - Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected ... Notes in Computer Science, 3573, Band 3573)

Brand : Springer, Binding : Taschenbuch, Edition : 2005, Label : Springer Berlin Heidelberg, Publisher : Springer Berlin Heidelberg, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 292, publicationDate : 2008-10-10, releaseDate : 2005-08-15, authors : Sandro Etalle, ISBN : 3540266550 ...