Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPST... (Bog, Paperback / softback, Engelsk)

Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

(Bog, Paperback / softback, Engelsk)

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

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2017
Udgivelsesdato 25-07-2017
Første udgivelsesår 2017
Serie Theoretical Computer Science and General Issues
Illustrationer 75 Illustrations, black and white; XVI, 361 p. 75 illus.
Fagredaktør Manuel V Hermenegildo, Pedro Lopez-Garcia
Originalsprog Switzerland
Sideantal 361
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 361 pages, 75 Illustrations, black and white; XVI, 361 p. 75 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783319631387