Tipsa dina vänner om produkten:
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
SEK 549
Beställningsvara
Förväntad leverans 30 dec - 7 jan 2026
Julklappar kan bytas fram till 31:e januari
Lägg till din iMusic-önskelista
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öcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
| Releasedatum | 4 maj 2015 |
| ISBN13 | 9783319178219 |
| Utgivare | Springer International Publishing AG |
| Antal sidor | 333 |
| Mått | 155 × 235 × 18 mm · 534 g |
| Språk | Franska |
| Redaktör | Proietti, Maurizio |
| Redaktör | Seki, Hirohisa |
Fler produkter med Maurizio Proietti
Visa alla
Se alt med Maurizio Proietti ( t.ex. Bok och Pocketbok )