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
Extragalactic Radio Sources
$39.99
The Multinational Enterprise and the Emergence of the Global Factory
$54.99
EU Enlargement and its Macroeconomic Effects in Eastern Europe
$84.99
Web and Big Data. APWeb-WAIM 2021 International Workshops
$69.99
Einfhrung in die elektrische Messtechnik
$34.99
The Welfare of Laboratory Animals
$129.00
Rural Latin America in Transition
$129.99
Die Grundlagen der japanischen Einfuhr auslndischer Technologie
$44.99
Innovative und interdisziplinre Kristallzchtung
$39.99
21st Century Management
$39.99
Group Rings and Class Groups
$54.99
A Conceptual History of Modern Embryology
$84.99
Harry Potter and the Cursed Child: The Journey: Behind the Scenes of the Award-Winning Stage Production (Hardcover)
$29.99
Foundation ASP for Dreamweaver 8
$39.99
Fachenglisch fr Gesundheitsberufe
$34.99
Inventing the EU as a Democratic Polity
$84.99
Daniil Kharms and the Poetics of the Absurd
$59.99
Global Melodrama
$99.99
Error Control for Network-on-Chip Links
$109.99
Mutation and Evolution
$169.00
Exploring Discourse in Context and in Action
$64.99
Exploring Knowledge-Intensive Business Services
$84.99
Robust Optimal Planning and Operation of Electrical Energy Systems
$109.99
Social Policies and Ethnic Conflict in China
$54.99
Hidden Digital Champions
$19.99
Validity of Educational Assessments in Chile and Latin America
$179.99
Bayesian Filter Design for Computational Medicine
$59.99
Bible bb's: Jess me ama / Jesus Loves Me (Hardcover)
$4.49
Peter Handke
$84.99
Modelling Trends and Cycles in Economic Time Series
$119.99
Proceedings of the International Field Exploration and Development Conference 2023
$279.99
Database Semantics
$219.99
Structural Neurochemistry
$54.99
Magnetocumulative Generators
$169.99
Morbus Dupuytren
$189.00
The Resilience of Traditional Knowledge Systems for a Sustainable Future
$169.99
Mglichkeiten und Grenzen des Distressed Debt Investing in Deutschland
$79.99
Martin Luther King, Jr. and the March on Washington
$4.46
On-Site Drug Testing
$199.99
Componential Analysis of Kinship Terminology
$54.99
