Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Logic Based Program Synthesis and Transformation
Best Price (Coupon Required):
Buy Logic Based Program Synthesis and Transformation for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002. The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections on debugging and types, tabling and constraints, abstract interpretation, program refinement, verification, partial evaluation, and rewriting and object-oriented development.
Reviews
Questions & Answers
3D Point Cloud Analysis
$99.00
Postmoderne Religion
$59.99
Pathology of the Vulva and Vagina
$179.99
Ecology and Conservation of Southeast Asian Marine and Freshwater Environments including Wetlands
$84.99
Pioniere des Versicherungsgedankens
$59.99
Systems Thinking for Sustainable Development
$79.99
Neustart des LHC: das Higgs-Teilchen und das Standardmodell
$17.99
Numerical Combustion
$39.99
Advances in Network Analysis and its Applications
$84.99
Immunology and Its Impact on Infections in Surgery
$109.99
Geotechnical Engineering and Sustainable Construction
$259.00
Nanotechnology: Applications in Energy, Drug and Food
$199.99
Flexible Automation and Intelligent Manufacturing: Establishing Bridges for More Sustainable Manufac
$279.99
Cardiac Tumor Pathology
$169.99
World Women in Mathematics 2018
$54.99
Treating the Criminal Offender
$109.99
Managing High-Stakes Risk
$54.99
Transport in British Fiction
$109.99
Ethnic Interest Groups in US Foreign Policy-Making
$109.99
Gestaltung von digitalisierten Service Ecosystems
$59.99
Reproductive Toxicology
$169.99
Before We Eat: From Farm To Table
$5.96
Feedback Control of MEMS to Atoms
$169.99
Das Unendliche
$24.99
Multi-Gigahertz Nyquist Analog-to-Digital Converters
$119.99
Enzymes in Nonaqueous Solvents
$129.00
ADO.NET Examples and Best Practices for C# Programmers
$44.99
Environment, Energy and Climate Change I
$169.00
Interface and Transport Dynamics
$169.99
Teaching Multiplication with Lesson Study
$54.99
Surveys in Geometry II
$79.99
Power System Operations
$199.99
Dorisch, Jonisch, Korinthisch
$59.99
Bilingual Classic Tales: Little Red Riding Hood / Caperucita roja
$2.99
Mathematik fr Ingenieure und Naturwissenschaftler - Anwendungsbeispiele
$34.99
Optimization Methods and Applications
$84.99
Yoga bei Angsterkrankungen
$19.99
Blutgerinnungsstrungen
$59.99
Pentecostalism and Cultism in South Africa
$129.99
Metropolitan Innovation Systems
$109.99
