Knihu momentálně nemáme skladem
Více o knize
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.
Nákup knihy
Logic-Based Program Synthesis and Transformation, Maurizio Proietti
- Jazyk
- Rok vydání
- 2015
Jakmile se objeví, pošleme e-mail.
Doručení
Platební metody
Nikdo zatím neohodnotil.