Logic-Based Program Synthesis and T - E-book

eBook

Logic-based Program Synthesis And Transformation - ENG

17th International Symposium, Lopstr 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

Andy King

eBook

$1,800.00

Disponible

Información adicional
Sinopsis

ISBN:	9783540787693
Formato:	Page Fidelity
Idioma:	Inglés
Editorial:	Springer Nature
Tema:	Computadoras
Subtema:	Ingeniería y desarrollo de software general
Año de publicación:	20081126

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.

eBooks