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
Global Geographical Heritage, Geoparks and Geotourism
$199.99
Neurophenotypes
$129.99
Preferences and Procedures
$84.99
Emerging Applications of Number Theory
$84.99
Timing Jitter in Time-of-Flight Range Imaging Cameras
$169.99
Finanzielle Transfers zwischen Generationen in Europa
$44.99
Bluebird (Hardcover)
$14.24
Differentialgleichungen Lsungsmethoden und Lsungen
$69.99
Bark, George (Hardcover)
$17.95
Chest Pain with Normal Coronary Angiograms: Pathogenesis, Diagnosis and Management
$169.00
Switched Time-Delay Systems
$169.99
Inkontinenz- und Deszensuschirurgie der Frau
$169.99
Legal Insanity: Explorations in Psychiatry, Law, and Ethics
$109.99
Telephone Surveys in Europe
$169.99
Literatur und Lebenskraft
$29.99
Intelligent Backstepping Control for the Alternating-Current Drive Systems
$159.99
Clinical Decision Support Systems
$89.00
Reanimation verschiedener Krankheiten des Nervensystems / Zur Physiologie der Blutgerinnung bei Neug
$59.99
Appraisal, Market Analysis and Public Policy in Real Estate
$379.99
Preispolitik im digitalen Zeitalter
$17.99
One Is a Snail, Ten Is a Crab
$5.21
Radiologie der Hand
$59.99
Molecular Marker Techniques
$299.99
Energy Use in Cities
$99.99
Security in Computing and Communications
$54.99
Raman Amplifiers for Telecommunications 2
$84.99
Organisation als Kooperation
$44.99
Advances in Service-Oriented and Cloud Computing
$54.99
Fabrikbetriebslehre 1
$29.99
Belonging, Gender and Identity in the Doctoral Years
$99.00
Japans Long Stagnation, Deflation, and Abenomics
$139.99
Human Smart Cities
$169.99
Annual Update in Intensive Care and Emergency Medicine 2018
$199.99
Living Earth
$54.99
Scholastic Reader! Level 3-Everything Awesome About: Dangerous Dinosaurs
$4.49
Transactions on Computational Collective Intelligence XX
$39.99
Dissipative Solitons
$84.99
Developments in Risk-based Approaches to Safety
$109.99
Zero-Migration
$59.99
Disney Frozen Polar Nights: Cast Into Darkness by Jen Calonita
$15.99
