
Fortell venner om denne varen:
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
₩ 75.200
Bestillingsvarer
Forventes levert 4. - 14. jul
Legg til iMusic ønskeliste
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
Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
Utgitt | 27. februar 2009 |
ISBN13 | 9783642005145 |
Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
Antall sider | 185 |
Mål | 155 × 235 × 13 mm · 299 g |
Språk | Fransk |
Redaktør | Hanus, Michael |