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-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010. The 13 revised full papers presented together with two invited papers were carefully reviewed and selected from 26 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, application and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
Reviews
Questions & Answers
The International Robot Industry Report
$109.99
Low-Power Smart Imagers for Vision-Enabled Sensor Networks
$84.99
Lehrbuch der Bder- und Klimaheilkunde
$49.99
Mango, abuela y yo
$4.49
Algorithmic Mechanism Design for Internet of Things Services Market
$109.00
Husserl and the Question of Relativism
$109.99
Lega Nord im politischen System Italiens
$44.99
Gentzen Calculi for Modal Propositional Logic
$119.00
Remembering and Rethinking the GDR
$54.99
Mechanical Response of Composites
$219.99
Fading and Shadowing in Wireless Systems
$129.00
From Access to SQL Server
$49.99
Homo hortulanus
$34.99
Hydrozetes tridactylus n. sp., eine neue Art der Gattung Hydrozetes Berlese 1902 von gypten
$54.99
Law, Economics and Finance of the Real Estate Market
$39.99
Digitalisierung und Luftfahrt
$17.99
Gamification, Digitalisierung und Industrie 4.0
$17.99
Practitioners Guide to Psychoactive Drugs for Children and Adolescents
$54.99
Extreme Values In Random Sequences
$139.99
Classical Trajectory Perspective of Atomic Ionization in Strong Laser Fields
$39.99
Vacuum Sealing Techniques
$119.99
The Extra-Intracranial Bypass Operation for Prevention and Treatment of Stroke
$39.99
Treatment of Spine Disease in the Elderly
$169.99
Discourse, Interaction and Communication
$109.99
Frictionless Markets
$39.99
Food Emulsifiers and Their Applications
$299.99
Mathematical Models of Non-Linear Excitations, Transfer, Dynamics, and Control in Condensed Systems
$84.99
Mother-Tongue in Modern Japanese Literature and Criticism
$89.99
Cardiovascular Surgery for Congenital Heart Disease
$169.99
Ecological Principles of Nature Conservation
$74.99
The Urban Astronomer's Guide
$54.99
Implementation von Gerichtsentscheidungen
$69.95
Reliable Software Technologies - Ada-Europe 2009
$39.99
Modelling and Control of Dynamic Flows in Communication Networks
$109.99
Spacecraft Electromagnetic Compatibility Technologies
$139.00
Agricultural Bioinformatics
$249.99
Temperament and Children
$129.99
Flexibilitt in logistischen Systemen
$59.99
Praxishandbuch Rockmusik in der Jugendarbeit
$59.99
The Politics of Commercial Treaties in the Eighteenth Century
$119.00
