Freunden von diesem Artikel berichten:
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
Preis
SFr. 44,49
exkl. MwSt.
Bestellware
Lieferdatum: ca. 13. - 21. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
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
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 4. Mai 2015 |
| ISBN13 | 9783319178219 |
| Verlag | Springer International Publishing AG |
| Seitenanzahl | 333 |
| Maße | 155 × 235 × 18 mm · 534 g |
| Sprache | Französisch |
| Redakteur | Proietti, Maurizio |
| Redakteur | Seki, Hirohisa |
Weitere Titel von Maurizio Proietti
Alle anzeigen
Alle Titel von Maurizio Proietti ansehen ( u. a. Buch und Taschenbuch )