Freunden von diesem Artikel berichten:
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 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
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
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 anzeigenAlle Titel von Michael Hanus ansehen ( u. a. Taschenbuch )