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
Die industrielle Produktivitt in neuerer Sicht
$59.99
Design and Construction of Smart Cities
$109.99
Human-Centred Software Engineering
$39.99
Computing and Informatics
$84.99
QCD at HERA
$39.99
Mathematics and Culture in Europe
$109.99
Analysis of Doubly Truncated Data
$54.99
ber Gewebsdifferenzierung in Metastasen eines Ovarialteratoms
$54.99
High-Entropy Materials: Theory, Experiments, and Applications
$129.99
Problems in Finite Element Methods
$89.99
Turbulence and Diffusion in the Atmosphere
$39.99
Carl Schmitt und die Liberalismuskritik
$59.99
Principles and Practices of DNA Analysis: A Laboratory Manual for Forensic DNA Typing
$129.00
Neurosurgical and Medical Management of Pain: Trigeminal Neuralgia, Chronic Pain, and Cancer Pain
$169.00
Die fossilen Asseln aus den Oberjuraschichten von Ernstbrunn in Niedersterreich und von Stramberg i
$59.99
Web and Big Data
$54.99
Information Security and Privacy
$84.99
Managing Manufacturing Operations: Analysis and Discussion
$39.99
Using Risk Analysis for Flood Protection Assessment
$54.99
Financial Models in Production
$64.99
The Global Competitiveness of the Asian Firm
$129.00
Doing Fandom
$169.99
Food Structure and Moisture Transfer
$54.99
Clinical Oral Anatomy
$219.00
Investor Expectations in Value Based Management
$109.99
Tiefziehtechnik
$24.99
Coaching fr Fhrungskrfte
$64.99
Psychotherapist's Guide to Socratic Dialogue
$119.99
Oxygen Transport to Tissue XLIV
$329.99
Optimization of Manufacturing Processes
$169.99
Handbuch Familiensoziologie
$69.99
Womens Colonial Gothic Writing, 1850-1930
$119.99
Einfhrung in die algebraische Geometrie
$37.99
Genetic Engineering of Microorganisms for Chemicals
$109.99
Ramanujan's Lost Notebook
$169.99
Samson and Delilah in Medieval Insular French
$39.99
Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores
$119.00
Space Science and Communication for Sustainability
$129.00
Plant Epigenetics
$89.00
Menschenrechte und Entwicklungszusammenarbeit
$44.99
