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
Pathologie der endokrinen Organe
$79.99
Nitroazoles: Synthesis, Structure and Applications
$129.00
Geschichte der mechanischen Prinzipien
$34.99
Programmieren mit ELAN
$49.99
Relativistic Quantum Invariance
$69.99
Functional and Logic Programming
$39.99
Current Aspects of Blood Coagulation, Fibrinolysis, and Platelets
$54.99
Designing Digital Musical Instruments Using Probatio
$109.99
Practical Low Power Digital VLSI Design
$149.00
El coleccionista de palabras
$5.24
Intersectoral Resource Flows and China's Economic Development
$54.99
Probabilistic Logic in a Coherent Setting
$109.99
Revolution und die Transformation von Gesellschaften
$69.99
The Intensivist's Challenge
$54.99
Microbial Processes for Synthesizing Nanomaterials
$219.99
Dependence Analysis
$129.00
Lebenslange Solidaritt?
$44.99
Social News
$89.00
EUNICE 2005: Networks and Applications Towards a Ubiquitously Connected World
$84.99
Qualitt von PPS-Systemen
$69.99
The Last Plantagenet Consorts
$39.99
Where Do We Come From?
$129.99
Medizinisches Know-how fr die Heimhilfe
$24.99
Island Ecosystems
$169.99
Sino-African Development Cooperation
$79.99
Custom in Islamic Law and Legal Theory
$109.99
Controversy in French Drama
$54.99
The Influence Line Approach to the Analysis of Rigid Frames
$109.99
Social Functions and Economic Aspects of Health Insurance
$129.00
Bosch Automotive Electrics and Automotive Electronics
$129.99
Trends of the Agricultural Sector in Era 4.0
$54.99
Jerusalem Artichoke Food Science and Technology
$199.99
Modeling and Analysis of Computer Communications Networks
$54.99
Empowering Engagement
$119.99
Biomedical Applications of Polymers
$54.99
The Organization of the Energy Industry
$44.99
Bioinformatics Research and Applications
$59.99
New Results in Dependability and Computer Systems
$219.99
Das Gedchtnis
$84.99
Methodology of Window Management
$39.99
