
Fortæl dine venner om denne vare:
Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers - Lecture Notes in Computer Science 2009 edition
Michael Hanus
Pris
Kč 1.488
Bestilles fra fjernlager
Forventes klar til forsendelse 14. - 18. jul.
Tilføj til din iMusic ønskeseddel
Eller
Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers - Lecture Notes in Computer Science 2009 edition
Michael Hanus
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008.
194 pages, Illustrations
Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
Udgivet | 27. februar 2009 |
ISBN13 | 9783642005145 |
Forlag | Springer-Verlag Berlin and Heidelberg Gm |
Antal sider | 185 |
Mål | 155 × 235 × 13 mm · 299 g |
Sprog | Fransk |
Klipper/redaktør | Hanus, Michael |