Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPST... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Kompilatorer og fortolkere
  5. Softwareudvikling
  6. Matematisk datateori
  7. Kunstig intelligens
  8. Programmering / softwareudvikling
  9. Logic-Based Program Synthesis and Transformation: 27th...

Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

(Bog, Paperback / softback, Engelsk)
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

Kompilatorer og fortolkere Kunstig intelligens Matematisk datateori Programmering / softwareudvikling Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2018 ed.
Udgivelsesdato 10-07-2018
Første udgivelsesår 2018
Serie Lecture Notes in Computer Science
Illustrationer 59 Illustrations, black and white
Fagredaktør Fabio Fioravanti, John P. Gallagher
Originalsprog Switzerland
Sideantal 341
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 341 pages, 59 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783319944593