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

- 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings

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 refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020. The 15 papers presented in this volume were carefully reviewed and selected from a total of 31 submissions.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783030684457
  • Format:
  • Häftad
  • Sidor:
  • 345
  • Utgiven:
  • 13 Februari 2021
  • Utgåva:
  • 12021
  • Mått:
  • 155x235x0 mm.
  • Vikt:
  • 545 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 29 Oktober 2024

Beskrivning av Logic-Based Program Synthesis and Transformation

This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020. The 15 papers presented in this volume were carefully reviewed and selected from a total of 31 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.