Kniha momentálne nie je na sklade
Viac o knihe
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 vydania
- 2015
Akonáhle sa objaví, pošleme e-mail.
Platobné metódy
Nikto zatiaľ neohodnotil.