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 - Michael Hanus - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783642005145 - 27. februar 2009
Ved uoverensstemmelse mellem cover og titel gælder titel

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

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

Vis alle

Mere med Michael Hanus