Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

Andy King
    • 54,99 €
    • 54,99 €

Description de l’éditeur

This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, examines program termination, program transformation, constraint solving and analysis as well as software engineering.

GENRE
Informatique et Internet
SORTIE
2008
26 novembre
LANGUE
EN
Anglais
LONGUEUR
232
Pages
ÉDITIONS
Springer Berlin Heidelberg
DÉTAILS DU FOURNISSEUR
Springer Science & Business Media LLC
TAILLE
5,7
Mo

Plus de livres par Andy King

Baking By Hand Baking By Hand
Baking By Hand
2013
Anxiety In Relationship Anxiety In Relationship
Anxiety In Relationship
2023
England and Scotland, 1286-1603 England and Scotland, 1286-1603
England and Scotland, 1286-1603
2015
Functional and Logic Programming Functional and Logic Programming
Functional and Logic Programming
2016