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:
Buy Logic Based Program Synthesis and Transformation for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$39.99 | 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
Bioprospecting of Enzymes in Industry, Healthcare and Sustainable Environment
$179.99
Port Towns and Urban Cultures
$139.99
Earthquakes of the Indian Subcontinent
$159.99
Die Schmierung von Dampfturbinen
$59.99
Textbook of Hand Eczema
$199.99
HIV-1 Proteomics
$109.99
Iceland Geodynamics
$149.00
Housing Finance in Developing Countries
$69.99
Semantic Technology
$39.99
The DSM-5 Perspective
$139.99
Pro Oracle Application Express
$39.99
First-in-Family Students, University Experience and Family Life
$84.99
Basic Analysis of Regularized Series and Products
$29.99
1964: Eyes of the Storm by Paul McCartney
$75.00
Progress in Photon Science
$159.99
Resolving the Climate Change Crisis
$169.99
Analysis and Geometry
$84.99
In einem fernen dunklen Spiegel
$59.99
Fractals in Graz 2001
$84.99
Fuzzy Techniques: Theory and Applications
$219.99
General Equilibrium Economics
$39.99
Service Parts Planning with mySAP SCM
$49.99
Schizophrenia
$169.00
Control of Posture and Locomotion
$109.99
The Book of Job
$16.00
Control Mechanisms for Ecological-Economic Systems
$109.99
The Rademacher System in Function Spaces
$169.99
Functional Statistics and Related Fields
$109.99
Mglichkeiten und Grenzen der holografischen Prfung von Verbundwerkstoffen
$59.99
Adaptive Scalarization Methods in Multiobjective Optimization
$109.99
Laterales Management
$24.99
Accounting Information Disclosure & Collective Bargaining
$99.00
Der Kopfschmerz
$44.99
An Evelyn Waugh Chronology
$84.99
Physikalische Medizin
$69.99
The Bad Guys in the Serpent and the Beast (The Bad Guys #19)
$5.24
Horizontal Gene Transfer
$109.00
Quantifying Functional Biodiversity
$49.95
New Data Structures and Algorithms for Logic Synthesis and Verification
$39.99
Mathe lernen nach dem IntraActPlus-Konzept
$34.99
