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
The Credibility of Divine Existence: The Collected Papers of Norman Kemp Smith
$99.00
Advances in Biometric Person Authentication
$54.99
Bioactive Compounds in Agricultural Soils
$169.99
Geometric and Harmonic Analysis on Homogeneous Spaces and Applications
$169.99
Essential Readings in Light Metals, Volume 4, Electrode Technology for Aluminum Production
$319.00
Polypharmacology
$169.99
Filmfrderung und Subventionskontrolle in Deutschland
$44.99
Adaptive and Integrated Water Management
$169.99
Typenbasierte Integration von Markengemeinschaften
$44.99
Politische Willensbildung und Interessenvermittlung
$59.99
Foreign Communities in Hong Kong, 1840s1950s
$84.99
Erhebungstechniken
$59.99
Designing Wind Turbines
$89.99
Ben Jonson, John Marston and Early Modern Drama
$84.99
Autistic People in Dental and Medical Clinics
$54.99
JFC Fuller: Military Thinker
$79.99
Aktiv Depressionen vorbeugen
$24.99
Computer Algebra in Scientific Computing
$89.99
The Chemical Bond
$169.99
African Americans and Mental Health
$129.99
Chemische Gleichgewichte
$17.99
Das Persona-Prinzip
$37.99
Shakespeare the Renaissance Humanist
$84.99
What Is It Made Of?
$3.71
National Security Issues of the USSR
$84.99
Atomic Physics at Accelerators: Mass Spectrometry
$169.99
Space-Time Geometries for Motion and Perception in the Brain and the Arts
$109.99
Vocabulary Cartoon of the Day: Grades 4-6
$11.24
Enhancing Reflection within Situated Learning
$54.99
The Carrier's Liability for Deck Cargo
$54.99
Persnlichkeit und Klimawandel Wissen und berzeugungen
$74.99
Digital Dilemmas
$159.99
Distributed Computing - IWDC 2003
$54.99
There Was an Old Lady: Un da una seora se trag un pollito!
$3.74
The Politics of Postmodernity
$109.99
Untersuchung der Kraftwerkreserve im Verbundsystem
$59.99
Cat Kid Comic Club #4: Collaborations (Hardcover)
$9.74
Applied Geography
$169.99
Economic Restructuring of the American Midwest
$109.99
Innovations in Electrical and Electronic Engineering
$299.99
