Fortell venner om denne varen:
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
Pris
NOK 689
Bestillingsvarer
Forventes levert 25. jun - 5. jul
Legg til iMusic ønskeliste
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
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 | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
Utgitt | 4. mai 2015 |
ISBN13 | 9783319178219 |
Utgivere | Springer International Publishing AG |
Antall sider | 333 |
Mål | 155 × 235 × 18 mm · 534 g |
Språk | Fransk |
Redaktør | Proietti, Maurizio |
Redaktør | Seki, Hirohisa |