Powiedz znajomym o tym przedmiocie:
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
Cena
zł 212,90
Zamówione z odległego magazynu
Przewidywana dostawa 1 - 9 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia
Nasi klienci mówią:
Dodaj do swojej listy życzeń iMusic
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 | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
| Wydane | 4 maja 2015 |
| ISBN13 | 9783319178219 |
| Wydawcy | Springer International Publishing AG |
| Strony | 333 |
| Wymiary | 155 × 235 × 18 mm · 534 g |
| Język | Francuski |
| Redaktor | Proietti, Maurizio |
| Redaktor | Seki, Hirohisa |
Więcej od Maurizio Proietti
Pokaż wszystko
Zobacz wszystko od Maurizio Proietti ( np. Book i Paperback Book )