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

Logic-Based Program Synthesis and Transformation

Andy King
    • $69.99
    • $69.99

Descripción editorial

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.

GÉNERO
Informática e Internet
PUBLICADO
2008
26 de noviembre
IDIOMA
EN
Inglés
EXTENSIÓN
232
Páginas
EDITORIAL
Springer Berlin Heidelberg
VENDEDOR
Springer Nature B.V.
TAMAÑO
5.7
MB

Más libros como este

Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2009
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2011
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2009
Theoretical Aspects of Computing – ICTAC 2010 Theoretical Aspects of Computing – ICTAC 2010
Theoretical Aspects of Computing – ICTAC 2010
2010
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2011
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2017

Más libros de Andy King

Baking By Hand Baking By Hand
Baking By Hand
2013
Programming the Internet of Things Programming the Internet of Things
Programming the Internet of Things
2021
My Life or Not My Life or Not
My Life or Not
2024
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