Fabio Fioravanti – författare

Visar alla böcker från författaren Fabio Fioravanti. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Logic-Based Program Synthesis and Transformation

   27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

   Av Fabio Fioravanti, John P. Gallagher

   Häftad, 2018

   569 kr

   Lägg i varukorg

   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 …

2. 

   Logic-Based Program Synthesis and Transformation

   27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

   Av John P. Gallagher, Fabio Fioravanti

   E-bok, 2018

   755 kr

   Lägg i varukorg

   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 …