Moreno Falaschi – författare
Visar alla böcker från författaren Moreno Falaschi. Handla med fri frakt och snabb leverans.
3 produkter
Logic-Based Program Synthesis and Transformation
25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Häftad, 2015
561 kr
Lägg i varukorg
This book constitutes the thoroughly refereedpost-conference proceedings of the 25th International Symposium on Logic-BasedProgram Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, inJuly 2015.The 21 revised full papers presented together with 3invited talks were carefully reviewed …
Logic-Based Program Synthesis and Transformation
25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
E-bok, 2015
718 kr
Lägg i varukorg
This book constitutes the thoroughly refereedpost-conference proceedings of the 25th International Symposium on Logic-BasedProgram Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, inJuly 2015. The 21 revised full papers presented together with 3invited talks were carefully reviewed …
Static Analysis
Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings
Av Patrick Cousot, Moreno Falaschi m. fl.
Häftad, 1993
562 kr
Lägg i varukorg
This volume constitutes the proceedings of the thirdInternational Workshop on Static Analysis (WSA`93), held inPadova, Italy, in September 1993. The objective of theinternational workshop series WSA is to serve as a forum forthe discussion of the various aspects of static analysis indifferent …
