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øker - Springer International Publishing AG - 9783319274355 - 17. desember 2015
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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$ 313,90

Bestillingsvarer

Forventes levert 9. - 17. okt

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
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

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 17. desember 2015
ISBN13 9783319274355
Utgivere Springer International Publishing AG
Antall sider 385
Mål 155 × 235 × 21 mm   ·   6,09 kg
Språk Tysk  
Redaktør Falaschi, Moreno