Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

- 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

del av Theoretical Computer Science and General Issues-serien

del av Lecture Notes in Computer Science-serien

Logic-Based Program Synthesis and Transformation
Om Logic-Based Program Synthesis and Transformation

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 and selected from 30 submissions.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783319274355
  • Format:
  • Häftad
  • Sidor:
  • 385
  • Utgiven:
  • 17. december 2015
  • Utgåva:
  • 12015
  • Mått:
  • 155x235x21 mm.
  • Vikt:
  • 6088 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 18. december 2024

Beskrivning av Logic-Based Program Synthesis and Transformation

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 and selected from 30 submissions.

Användarnas betyg av Logic-Based Program Synthesis and Transformation



Andra köpte även...
Hitta liknande böcker
Boken Logic-Based Program Synthesis and Transformation finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.