Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers - Theoretical Computer Science and General Issues - - Bøger - Springer International Publishing AG - 9783319274355 - 17. december 2015
Ved uoverensstemmelse mellem cover og titel gælder titel

Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers - Theoretical Computer Science and General Issues 1st ed. 2015 edition

Pris
R$ 391,13

Bestilles fra fjernlager

Forventes klar til forsendelse 10. - 16. okt.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers - Theoretical Computer Science and General Issues 1st ed. 2015 edition

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.

385 pages, 88 black & white illustrations, biography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 17. december 2015
ISBN13 9783319274355
Forlag Springer International Publishing AG
Antal sider 385
Mål 155 × 235 × 21 mm   ·   6,09 kg
Sprog Tysk  
Klipper/redaktør Falaschi, Moreno