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 - Theoretical Computer Science and General Issues Maurizio Proietti 2015 edition
Pris
NOK 559
Bestillingsvarer
Forventes levert 30. des - 2. jan 2026
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
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
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 |
