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 $49.50 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
|
|
$54.99 | $54.99 |
|
10% OFF
This deals requires coupon
|
$49.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
Reviews
Questions & Answers
Computer Information Systems and Industrial Management
$54.99
Decolonizing Educational Leadership
$64.99
Thyroid Disease and Reproduction
$99.99
Wish Novels: The Love Pug
$5.99
Manual of Clinical Dialysis
$109.99
Spatial Modeling and Assessment of Urban Form
$169.99
The Waning of the Renaissance 16401740
$84.99
The Electron Mass and Calcium Isotope Shifts
$109.99
Vorschriften fr die Errichtung und den Betrieb elektrischer Starkstromanlagen nebst Ausfhrungsrege
$49.99
Mechanical Ventilation in Patient with Respiratory Failure
$109.99
The Post-War Financial Rehabilitation of The Netherlands
$54.99
Nanotechnologies, Hazards and Resource Efficiency
$109.99
Manager und kologie
$69.95
Shape in Medical Imaging
$39.99
Lectures on Photomorphogenesis
$54.99
Publizistik
$59.99
Die asynchronen Drehstrommaschinen mit und ohne Stromwender
$59.99
Monster Power: Exploring Renewable Energy: A Branches Book (The Magic School Bus Rides Again)
$4.49
Konzepte fr eine verteilte wissensbasierte Softwareproduktionsumgebung
$69.99
Benchmarks and Hybrid Algorithms in Optimization and Applications
$149.00
Astrophysics and Space Science
$169.00
Usborne Introduction: Introduction to the Second World War
$9.71
Photophysics of Ionic Biochromophores
$109.99
Autonomic and Trusted Computing
$54.99
Kritik der Drachenflieger
$54.99
Learning Network Services for Professional Development
$54.99
Von der Kupfersteinzeit zu den Seltenen Erden
$74.99
Deposit Insurance Schemes
$129.00
Emerging Trends in Sliding Mode Control
$179.99
Stichwort: Wahlen
$39.99
Biologically-Inspired Optimisation Methods
$249.99
Compstat
$54.99
Governing Continuous Transformation
$119.99
Auswrtige Kulturpolitik in Spanien und Deutschland
$49.99
The European Union and the Paradox of Enlargement
$84.99
Theoretical Aspects of Local Search
$84.99
Computer Safety, Reliability, and Security
$79.99
Judicial Activism
$84.99
Erfolgreiches Charakterdesign fr Computer- und Videospiele
$59.99
Reading for Wonder
$79.99
