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ücher - Springer-Verlag Berlin and Heidelberg Gm - 9783642005145 - 27. Februar 2009
Bei Nichtübereinstimmung von Cover und Titel gilt der 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

Preis
SFr. 44,99
exkl. MwSt.

Bestellware

Lieferdatum: ca. 8. - 16. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen

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

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 27. Februar 2009
ISBN13 9783642005145
Verlag Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl 185
Maße 155 × 235 × 13 mm   ·   299 g
Sprache Französisch  
Redakteur Hanus, Michael

Weitere Titel von Michael Hanus

Alle anzeigen