Skip to content
Home/ Logic Based Program Synthesis and Transformation: 11th International Workshop, Lopstr 2001, Paphos,
Logic Based Program Synthesis and Transformation: 11th International Workshop, Lopstr 2001, Paphos,

Logic Based Program Synthesis and Transformation: 11th International Workshop, Lopstr 2001, Paphos,

No customer reviews yet ISBN 9783540439158

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.

About the author

Product details

Pub dateJul 17, 2002
ISBN-103540439153
ISBN-139783540439158
LanguageEnglish
Last updated 2026-04-24 19:26
$57.47
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 14, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from General
See all