El libro está agotado actualmente
Más información sobre el 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.
Compra de libros
Logic-Based Program Synthesis and Transformation, Maurizio Proietti
- Idioma
- Publicado en
- 2015
Te avisaremos por correo electrónico en cuanto lo localicemos.
Métodos de pago
Nadie lo ha calificado todavía.