Fabio Fioravanti – författare
Visar alla böcker från författaren Fabio Fioravanti. Handla med fri frakt och snabb leverans.
1 produkt
1 produkt
Del 10855 - Lecture Notes in Computer Science
Logic-Based Program Synthesis and Transformation
27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Häftad, Engelska, 2018
555 kr
Skickas inom 10-15 vardagar
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.