Logic-Based Program Synthesis and Transformation
27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Häftad, Engelska, 2018
729 kr
Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held in Namur, Belgium, in October 2017. The 19 revised full papers were carefully reviewed and selected from 29 submissions.
Produktinformation
- Utgivningsdatum2018-07-10
- Mått155 x 235 x 20 mm
- Vikt546 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor341
- FörlagSpringer International Publishing AG
- ISBN9783319944593