Fortæl dine venner om denne vare:
Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers - Theoretical Computer Science and General Issues 2015 edition
Maurizio Proietti
Pris
Fr. 55,99
Bestilles fra fjernlager
Forventes klar til forsendelse 6. - 12. aug.
Tilføj til din iMusic ønskeseddel
Eller
Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers - Theoretical Computer Science and General Issues 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
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 4. maj 2015 |
| ISBN13 | 9783319178219 |
| Forlag | Springer International Publishing AG |
| Antal sider | 333 |
| Mål | 155 × 235 × 18 mm · 534 g |
| Sprog | Fransk |
| Klipper/redaktør | Proietti, Maurizio |
| Klipper/redaktør | Seki, Hirohisa |
