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
Komplexitt und Berechenbarkeit: ber die Mglichkeiten und Grenzen des Computers
$54.99
Applications in Reliability and Statistical Computing
$199.99
Integriertes Betriebliches Gesundheitsmanagement
$29.99
Social Media Processing
$39.99
Messung der Oberflchengte
$49.99
Identifikation dynamischer Systeme 1
$69.99
Implementierung organisatorischer Vernderungen
$44.99
Vacuum Sealing Techniques
$119.99
Politische Ethik unter Realittsbedingungen
$44.99
Einfhrung in die Quantentheorie
$69.95
Methods for Human History
$29.99
Wrterbuch der Sugetiernamen - Dictionary of Mammal Names
$129.99
Cultural Manifold Analysis on National Character
$139.99
Man and His Mind-Changers
$39.99
Synthetic Musk Fragrances in the Environment
$169.00
Die Melancholie der Literatur
$69.99
Monetary Policies, Banking Systems, Regulatory Convergence, Efficiency and Growth in the Mediterrane
$54.99
Transactions on Computational Collective Intelligence XXXVI
$54.99
Data Mining and Big Data
$54.99
Immune Complexes and Human Cancer
$39.99
Indikation zum rztlichen Handeln
$59.99
Genetic Response of Forest Systems to Changing Environmental Conditions
$169.99
Self-Regulation and Legalization
$54.99
Outsourcing of R&D in the Pharmaceutical Industry
$109.99
Testability Concepts for Digital ICs
$169.99
bungsaufgaben aus der Technischen Mechanik
$69.99
Nutzen der Labormedizin in der Schweiz
$49.99
Science Identities
$159.99
Activity in Marxs Philosophy
$54.99
Nephrologie Urologie
$69.99
Cardiovascular Disease in Diabetes
$219.99
Experimental Techniques in Plant Disease Epidemiology
$84.99
Simple, Powerful Strategies for Student Centered Learning
$79.99
Der Artificial Intelligence Act als neuer Mastab fr knstliche Intelligenz
$17.99
Effizienzbewertung von Organisationsstrukturen
$84.99
Commercial Sexual Exploitation of Children
$54.99
Die Denkform der Alternative in der Jurisprudenz
$44.99
Business, Human Rights and the Environment: The Evolving Agenda
$119.99
Syntax and Semantics of Prepositions
$129.00
Management of Dysregulated Immune Response in the Critically Ill
$99.99
