VU Boekhandel

Logic-Based Program Synthesis and Transformation

Hoofdkenmerken

Auteur:	Andy King
Titel:	Logic-Based Program Synthesis and Transformation
Uitgever:	Springer Nature
ISBN:	9783540787693
ISBN boekversie:	9783540787686
Editie:	1
Prijs:	€ 77.92

Inhoudelijke kenmerken

Categorie:	General
Taal:	English
Imprint:	Springer

Technische kenmerken

Verschijningsvorm:

E-book

Inhoudsopgave:

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.