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-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. The 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.
Reviews
Questions & Answers
Genre-based Automated Writing Evaluation for L2 Research Writing
$109.99
Archaeologies of Remembrance
$219.99
American Jewish Year Book 2016
$149.00
A Concrete Approach to Classical Analysis
$54.99
Simone Weil: Utopian Pessimist
$169.99
Carrier Communication over Power Lines
$59.99
Recent Progress in Failing Heart Syndrome
$39.99
Kompendium Weiterbildung
$64.99
Elektronenoptische Untersuchungen an Ultradnnschnitten des Tuberkulose-Erregers sowie der ksigen G
$59.99
Biomechanics: Basic and Applied Research
$329.99
Community Heritage in the Arab Region
$54.99
Praxishandbuch Immobilieninvestments
$59.99
Krisen und Strukturvernderungen in der Finanzindustrie
$44.99
East-West Trade and the Atlantic Alliance
$34.99
Handbuch der Untersuchung der oberen Extremitten
$84.99
New Techniques in Solid-State NMR
$259.00
Chinese Mental Health Scale Translation
$37.99
Evolving Business Ethics
$99.99
Mentorship, Leadership, and Research
$39.99
Variability of Active Galaxies
$84.99
The Social Construction and Use of Landscape and Public Space in the Age of Migration
$59.99
Natural Gas Hydrate Management in Deepwater Gas Well
$139.99
Modeling Chemical Systems using Cellular Automata
$109.99
Polystyrol
$54.99
Neighbourhoods of Poverty
$54.99
Compact Representations for the Design of Quantum Logic
$54.99
Biomass Pyrolysis Liquids Upgrading and Utilization
$329.99
A Henry James Chronology
$39.99
Nutzenorientierte Marktsegmentierung
$59.99
The New Palgrave Dictionary of Economics and the Law
$329.99
Green Heroes
$34.99
Menschen verstehen Potenziale erkennen
$44.99
Critical and Post-Critical Political Economy
$109.99
Self-Organizing Architectures
$39.99
Protein Targeting Protocols
$84.99
New Directions in Third Wave Human-Computer Interaction: Volume 1 - Technologies
$279.99
Die geburtshilflich-gynkologische Untersuchung
$59.99
Endogenous Economic Fluctuations
$169.99
Integrable Systems in the realm of Algebraic Geometry
$74.99
Marktspiegel Customer Relationship Management
$49.99
