VU Boekhandel

Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised

Hoofdkenmerken

Auteur:	King, Andy
Redactie:	King, Andy
Titel:	Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised
Uitgever:	Springer-Verlag Berlin and
ISBN:	9783540787686
ISBN boekversie:	9783540787693
Serie:	Lecture Notes in Computer
Editie:	2008 ed.
Land van oorsprong:	Germany
Prijs:	€ 78,52
Verschijningsdatum:	18-03-2008
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Leesniveau:	Professional & Vocational
Categorie:	Computer programming / software development
Geillustreerd:	X, 222 p.

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	222
Hoogte mm.:	235
Breedte mm.:	155
Gewicht gr.:	365

Inhoud:

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.