Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPST... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Programmeringsteknikker
  5. Logic-Based Program Synthesis and Transformation: 25th...

Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

(Bog, Paperback / softback, Engelsk)
Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Forlag: Springer International Publishing AG

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Programmeringsteknikker
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2015
Udgivelsesdato 17-12-2015
Første udgivelsesår 2015
Serie Theoretical Computer Science and General Issues
Illustrationer 88 Illustrations, color; XVII, 385 p. 88 illus. in color.
Fagredaktør Moreno Falaschi
Originalsprog Switzerland
Sideantal 385
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 385 pages, 88 Illustrations, color; XVII, 385 p. 88 illus. in color.
Mål 235 x 155
ISBN-13 / EAN-13 9783319274355