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
Advances in Artificial Intelligence and Machine Learning in Big Data Processing
$69.99
Artificial Neural Networks and Machine Learning ICANN 2021
$84.99
The Alkali Metal Ions in Biology
$39.99
Three-dimensional Echocardiography
$219.00
Heartstopper #2: A Graphic Novel
$11.24
Cloud Computing in Financial Services
$84.99
Handbook of Digital CMOS Technology, Circuits, and Systems
$299.99
The Pineal Gland and Cancer
$84.99
Teaching English in East Asia
$79.99
Parenting and Family Processes in Child Maltreatment and Intervention
$89.00
The Princess In Black: The Princess in Black and the Science Fair Scare
$5.21
Telescopes and Techniques
$59.99
Oeuvres Scientifiques - Collected Papers I
$69.99
All About Sharks
$5.21
On the Tip of a Wave
$7.46
Apoptosis in Hormone-Dependent Cancers
$39.99
Verfahren zur Erkennung und Unterscheidung von Chemiefaserstoffen
$59.99
Expert Systems for Scanner Data Environments
$109.99
Approaches to Breast Cancer Prevention
$219.99
Digital Functions and Data Reconstruction
$54.99
Medical Tourism in Developing Countries
$159.99
Ausschreibungshilfe Haustechnik
$39.99
Restorative Justice in China
$109.99
Grundlagen der Impulstechnik
$69.99
Essentials of Terror Medicine
$79.99
Die Akzeptanz kartenbasierter Kundenbindungsprogramme aus Konsumentensicht
$79.99
T-Cell Differentiation
$159.99
Information Computing and Applications
$84.99
An Introduction to Computer Aided Production Management
$109.99
Jahrbuch der Schiffbautechnischen Gesellschaft
$59.99
Perspektiven mobiler Kommunikation
$39.99
Jugend in Arbeit
$59.99
Probabilistic and Statistical Methods in Cryptology
$54.99
What About the Future?
$54.99
Kopftuch(verbot): Rechtliche, theologische, politische und pdagogische Perspektiven
$79.99
Coding Robots - Wie Kinder Algorithmen entwickeln
$79.99
Partial Differential Equations VI
$109.99
Making Spaces: Citizenship and Difference in Schools
$56.00
Sicherheit und Medien
$49.99
Harmonic and Applied Analysis
$129.99
