Il libro è attualmente esaurito
Maggiori informazioni sul libro
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.
Acquisto del libro
Logic-Based Program Synthesis and Transformation, Maurizio Proietti
- Lingua
- Pubblicato
- 2015
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.