Iš viso: 82,49 €
Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
  • Išparduota.
Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation

El. knyga: 82,49 €

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. The papers are organi…
0
  • Leidėjas:
  • Metai: 20150422
  • ISBN-10: 3319178229
  • ISBN-13: 9783319178226
  • Kalba: Anglų

Logic-Based Program Synthesis and Transformation | knygos.lt

Atsiliepimai

Formatai:

82,49 €El. knyga

Aprašymas

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. 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.

  • Kaina internetu: 82,49 €

Elektroninė knyga:
Atsiuntimas po užsakymo akimirksniu! Skirta skaitymui tik kompiuteryje, planšetėje ar kitame elektroniniame įrenginyje.

Formatai:

82,49 €El. knyga

  • Leidėjas: Springer-Verlag GmbH
  • Metai: 20150422
  • ISBN-10: 3319178229
  • ISBN-13: 9783319178226
  • Kalba: Anglų

Atsiliepimai

  • Atsiliepimų nėra
0 pirkėjai įvertino šią prekę.
  • 5
  • 0%
  • 4
  • 0%
  • 3
  • 0%
  • 2
  • 0%
  • 1
  • 0%