Vinkkaa tuotetta kavereillesi:
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 Maurizio Proietti 2015 edition
Hinta
€ 52,99
Tilattu etävarastosta
Arvioitu toimitus ke 24. joulu - to 1. tammi 2026
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
tai
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
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 | 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 | Ranska |
| Toimittaja | Proietti, Maurizio |
| Toimittaja | Seki, Hirohisa |
Lisää tuotteita Maurizio Proietti
Näytä kaikki
Katso kaikki joka sisältää Maurizio Proietti ( Esim. Book Ja Paperback Book )