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 post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 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
Female Olympian and Paralympian Events
$84.99
Critique of Digitality
$32.99
Einsatz der Kostenrechnung in der Unternehmung
$69.99
Dirt
$5.96
Handbuch Dieselmotoren im Kraftwerks- und Schiffsbetrieb
$89.99
Introduction to Structurally Stable Systems of Differential Equations
$39.99
Therapy Response Imaging in Oncology
$99.99
The Selected Works of Arne Naess
$429.00
Riskante Entscheidungen und Katastrophenpotentiale
$44.99
African Childhoods
$54.99
Mikrogeographische Marktsegmentierung
$59.99
Anhedonia: Preclinical, Translational, and Clinical Integration
$219.99
The European Roots of the Eurozone Crisis
$129.99
Manufacturing Civil Society
$54.99
Egypt and American Foreign Assistance 19521956
$54.99
Biomechanics: Basic and Applied Research
$259.00
Empathy & Compassion Grades PreK-K
$42.00
Social Cognition and the Acquisition of Self
$39.99
Photorefractive Effects and Materials
$219.99
30 More Math Mysteries Kids Can't Resist!
$9.74
Indian Philosophy of Language
$109.99
Clinical Ethics
$109.99
Mathematik fr Physiker
$34.99
Leading Organizational Development and Change
$119.99
Die finanzielle Fhrung der Unternehmung
$59.99
Die Etransformation Beginnt!
$84.99
Operational Quantum Theory II
$129.00
Frieden und Gerechtigkeit in der Bibel und in kirchlichen Traditionen
$39.99
Wasserstoff und Brennstoffzelle
$99.00
The New Euromarkets
$54.99
Schulqualifikation und Berufsfindung
$74.99
Beginner's Guide to Painting with Oil Pastels
$16.78
Kommunikation in Change und Risk
$74.99
Swasserflora von Mitteleuropa, Bd. 02/2: Bacillariophyceae
$179.99
The Dense Interstellar in Galaxies
$219.99
Artificial Intelligence and Signal Processing
$54.99
Interdisciplinary Analyses of Professional Basketball
$159.99
Mathematical Aspects of MultiPorosity Continua
$69.99
Advanced Informatics for Computing Research
$64.99
Irregularity in Graphs
$79.99
