Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfu
54.95 CHF
Versandkostenfrei
Versandkostenfreie Lieferung!
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10388096
Beschreibung
Analysis of term rewriting.- Logic-based distributed/concurrent programming.- Analysis of logic programming.- Program analysis.
Eigenschaften
Breite: | 157 |
Gewicht: | 358 g |
Höhe: | 236 |
Länge: | 14 |
Seiten: | 203 |
Sprachen: | Englisch |
Autor: | Fred Mesnard, Peter J. Stuckey |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen