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øker - Springer-Verlag Berlin and Heidelberg Gm - 9783642005145 - 27. februar 2009
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

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

Vis alle

Mer med Michael Hanus