Le livre est actuellement en rupture de stock
En savoir plus sur le livre
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.
Achat du livre
Logic-Based Program Synthesis and Transformation, Maurizio Proietti
- Langue
- Année de publication
- 2015
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .