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

- 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. 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

The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming and program transformation and optimization.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783319178219
  • Format:
  • Häftad
  • Sidor:
  • 333
  • Utgiven:
  • 4. maj 2015
  • Utgåva:
  • 2015
  • Mått:
  • 155x235x18 mm.
  • Vikt:
  • 534 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 18. december 2024

Beskrivning av Logic-Based Program Synthesis and Transformation

The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming and program transformation and optimization.

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.