Het boek is momenteel niet op voorraad
Meer over het boek
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.
Een boek kopen
Logic-Based Program Synthesis and Transformation, Maurizio Proietti
- Taal
- Jaar van publicatie
- 2015
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
Nog niemand heeft beoordeeld.