
Vertel uw vrienden over dit artikel:
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
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 | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
Vrijgegeven | 27 februari 2009 |
ISBN13 | 9783642005145 |
Uitgevers | Springer-Verlag Berlin and Heidelberg Gm |
Pagina's | 185 |
Afmetingen | 155 × 235 × 13 mm · 299 g |
Taal en grammatica | Frans |
Uitgever | Hanus, Michael |