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
Fundamentals of X Programming
$39.99
Netherlands-Wetlands
$169.00
Seamus Heaney and American Poetry
$109.99
The Impact of Artificial Intelligence on Governance, Economics and Finance, Volume 2
$149.00
Sustainable Waste Utilization in Bricks, Concrete, and Cementitious Materials
$179.99
Exploring Sustainable Land Use in Monsoon Asia
$109.99
The Physics of Thin Film Optical Spectra
$149.00
Der biographische Habitus von Heilpraktikerinnen und Heilpraktikern
$64.99
Animal Trade Histories in the Indian Ocean World
$159.99
Frontiers of Polymer Research
$39.99
Sozialrevolutionrer Terrorismus
$79.99
Ninja Worrier
$4.46
High-Voltage Test and Measuring Techniques
$169.99
A Practical Guide to Social Interaction Research in Autism Spectrum Disorders
$159.99
Social Morphogenesis
$109.00
Rethinking Economics Starting from the Commons
$119.00
Quality Attributes and their Measurement in Meat, Poultry and Fish Products
$39.99
World Peace and the Developing Countries
$44.99
Symbole der Politik Politik der Symbole
$59.99
Peace-Building and Development in Guatemala and Northern Ireland
$54.99
Epiblast Stem Cells
$179.99
Road Vehicle Automation
$109.99
Grundkurs MySQL und PHP
$37.99
Pro SQL Server Internals
$69.99
Univariate Stable Distributions
$79.99
Climate Variability Impacts on Land Use and Livelihoods in Drylands
$129.00
Numerical Data Fitting in Dynamical Systems
$259.00
Mathematical Approaches to Polymer Sequence Analysis and Related Problems
$169.99
Organomercury Compounds in Organic Synthesis
$84.99
Metallocofactors that Activate Molecules
$329.99
Measurement Methodology and Tools
$49.99
Transforming Growth Factor-Beta in Cancer Therapy, Volume II
$219.99
Branches-Owl Diaries: Gastn ha desaparecido
$3.74
Analysis of Geometrically Nonlinear Structures
$169.99
Proceedings of the 6th International Asia Conference on Industrial Engineering and Management Innova
$189.00
Exploratory Analysis of Spatial and Temporal Data
$169.00
Kognition und Moralitt in politischen Lernprozessen
$39.99
Bodies, Boundaries and Vulnerabilities
$54.99
Volume Based Portfolio Strategies
$39.99
Untersuchung des Rcksprhens an Modell-Elektrofiltern unter besonderer Bercksichtigung der mit dem
$54.99
