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
Wirkungen von Markenkrisen
$69.99
Mikrocomputer, Struktur und Arbeitsweise
$69.99
New Perspectives in Twentieth-Century Polish Literature
$39.99
Zur Erforschung des Weltalls
$59.99
Reversible Computation
$39.99
Developing Language Teachers with Exploratory Practice
$79.99
Crown, Church and Estates
$169.99
European Monetary Union
$39.99
Edgar Zilsel: Philosopher, Historian, Sociologist
$129.00
Sushi
$24.99
Effects of Opera Music from Brain to Body
$109.99
Global Perspectives on the Bretton Woods Conference and the Post-War World Order
$139.99
Tech SEO Guide
$29.99
Empirical Evaluation of Renewable Energy Projects for Sustainable Development
$249.99
Arsenic Toxicity: Challenges and Solutions
$189.00
Cyclosporin
$39.99
Artificial Intelligence and Dynamic Systems for Geophysical Applications
$169.99
MR- und PET-Bildgebung der Prostata
$159.99
Evidence-Based Practice in Clinical Social Work
$64.99
The Palgrave Handbook of Creativity and Culture Research
$299.99
Prozessmanagement in der Praxis
$59.99
Design of an Intelligent Embedded System for Condition Monitoring of an Industrial Robot
$169.99
Medizinisches Wrterbuch/Diccionario de Medicina/Dicionrio de termos mdicos
$54.99
Protozoa and Their Role in Marine Processes
$129.00
Advances in Cryogenic Engineering Materials
$39.99
Macrophytes in Aquatic Ecosystems: From Biology to Management
$169.99
Handbuch Biographieforschung
$64.99
Digital Childhoods
$179.99
Target Costing fr die Automobilindustrie
$64.99
Biochemistry of Sensory Functions
$109.99
Pentaerithrityltetranitrat
$59.99
History of Nordic Computing 4
$54.99
Einfhrung in die Festigkeitslehre
$29.99
Industrial Cultures and Production
$54.99
Provenance and Annotation of Data and Process
$39.99
Arthropod Management in Vineyards:
$299.99
Die Krperschaftsteuer in Australien und Deutschland
$84.99
Blood in Motion
$39.99
Dynamik des Eiweisses
$59.99
Local Public Finance
$179.99
