Kostenloser Versand
Bequem zahlen
Wir sind gerne für Sie da
This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, in July 2015.
The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 30 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.
Produkteigenschaften
- Artikelnummer: 9783319274355
- Medium: Buch
- ISBN: 978-3-319-27435-5
- Verlag: Palgrave Macmillan
- Erscheinungstermin: 17.12.2015
- Sprache(n): Englisch
- Auflage: 1. Auflage 2015
- Serie: Theoretical Computer Science and General Issues
- Produktform: Kartoniert, Paperback
- Gewicht: 6088 g
- Seiten: 385
- Format (B x H x T): 155 x 235 x 22 mm
- Ausgabetyp: Kein, Unbekannt