Tell your friends about this item:
Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers - Lecture Notes in Computer Science 2010 edition
Danny De Schreye
Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers - Lecture Notes in Computer Science 2010 edition
Danny De Schreye
Constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra, Portugal, during September 9-11, 2009.
205 pages, 29 black & white illustrations, biography
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | April 20, 2010 |
ISBN13 | 9783642125911 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Genre | Aspects (Academic) > Science / Technology Aspects |
Pages | 205 |
Dimensions | 157 × 234 × 13 mm · 340 g |
Language | French |
Editor | De Schreye, Danny |