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

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

del av Lecture Notes in Computer Science-serien

del av Theoretical Computer Science and General Issues-serien

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

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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783319944593
  • Format:
  • Häftad
  • Sidor:
  • 341
  • Utgiven:
  • 10. juli 2018
  • Utgåva:
  • 12018
  • Vikt:
  • 551 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 30. december 2024
Förlängd ångerrätt till 31. januari 2025

Beskrivning av Logic-Based Program Synthesis and Transformation

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.

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.