Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers - Lecture Notes in Computer Science - Maurizio Proietti - Kirjat - Springer International Publishing AG - 9783319178219 - maanantai 4. toukokuuta 2015
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers - Lecture Notes in Computer Science 2015 edition

Maurizio Proietti

Hinta
HK$ 481,80

Tilattu etävarastosta

Arvioitu toimitus ke - to 6. - 14. elo

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers - Lecture Notes in Computer Science 2015 edition

The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming and program transformation and optimization.

333 pages, 61 black & white illustrations, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä maanantai 4. toukokuuta 2015
ISBN13 9783319178219
Tuottaja Springer International Publishing AG
Sivujen määrä 333
Mitta 155 × 235 × 18 mm   ·   534 g
Kieli French  
Toimittaja Proietti, Maurizio
Toimittaja Seki, Hirohisa
Näytä kaikki

Lisää tuotteita Maurizio Proietti

Katso kaikki joka sisältää Maurizio Proietti ( Esim. Book Ja Paperback Book )