Logic Based Program Synthesis and Transformation - 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers (Paperback, 2002 ed.)

This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001, held in Paphos, Cyprus, in November 2001.The 13 revised full papers presented together with an invited paper were carefully selected and improved during two rounds of reviewing and revision. The papers are organized in topical sections on program transformation and equivalence, program verification, program analysis, program development, and program synthesis.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 2372
Release date:	July 2002
First published:	2002
Editors:	Alberto Pettorossi
Dimensions:	235 x 155 x 14mm (L x W x T)
Format:	Paperback
Pages:	272
Edition:	2002 ed.
ISBN-13:	978-3-540-43915-8
Categories:	Books > Computing & IT > Computer programming > General Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > General
LSN:	3-540-43915-3
Barcode:	9783540439158

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!