Home/
Logic Based Program Synthesis and Transformation: 10th International Workshop, Lopstr 2000 London, U
Logic Based Program Synthesis and Transformation: 10th International Workshop, Lopstr 2000 London, U
No customer reviews yet
ISBN 9783540421276
- Published
- May 2001
- Language
- English
$57.47
In stock
Most orders arrive within 3 weeks. Shipping policy
Sign in to Add to Saved list
Fast checkout
Pay with Apple Pay or Google Pay when available.
Payment received
We are registering your order now. Please stay on this page while we redirect you to the confirmation page.
Free delivery over $35 · 15-day returns
Condition
Brand New
An unread, unused copy: no writing or highlighting, and no missing or damaged pages. Every book we sell is brand new, including our lowest-priced titles.
About this book
This book presents revised full papers from the 10th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2000, held in London, UK, in July 2000 as part of the International Conference on Computational Logic.
The 10 revised full papers presented have gone through two rounds of reviewing, selection and revision. The book is divided in topical sections on synthesis, transformation, analysis, specialization, and abstract interpretation.
Specifications
PublishedMay 1, 2001
ISBN-103540421270
ISBN-139783540421276
LanguageEnglish
Buying from Saanjhi
- Ships from the USA. Delivery to US addresses only.
- Free delivery on orders over $35.
- 15-day returns. Unless we send the wrong book or it arrives damaged, you pay return shipping and a 15% restocking fee.
- Secure checkout. We never store card details.
Readers who bought this also bought
More from Programming - Object Oriented