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
A Comprehensive Evaluation on Emergency Response in China
$54.99
Protein Biosynthesis
$54.99
Hematopoietic Growth Factors in Oncology
$169.00
Digitalisierung des Auslandszahlungsverkehrs
$17.99
Discovery, Innovation, and the Victorian Admiralty
$129.99
Die stumme Myokardischmie
$69.99
Activation and Desensitization of Transducing Pathways
$109.99
Proceedings of the 15th International Conference on ManMachineEnvironment System Engineering
$219.99
Open Issues in Local Star Formation
$169.00
Sexual and Reproductive Health and Rights in India
$37.99
Advances in Bioinformatics and Computational Biology
$54.99
Die Entstehung der Gesteine
$29.99
Computational Topology in Image Context
$69.99
Die Profit-Split Methode zur Bestimmung von Verrechnungspreisen
$49.99
The World of Open Data
$119.00
Urban Transportation Planning in the United States
$129.00
Decision Theory and Decision Analysis: Trends and Challenges
$129.00
Numerische Mathematik 2
$44.99
Die politischen Theorien der Gegenwart
$39.99
Integrability Theorems for Trigonometric Transforms
$39.99
The Banking Sector In Hong Kong
$109.99
Molecular Biology and Physiology of Water and Solute Transport
$129.00
Dampfspeicheranlagen
$39.99
Endobronchial Ultrasound
$109.99
Imaging in Nephrology
$169.99
Kisses for My Bedtime Bunny
$5.99
Kunststoffe. Struktur, physikalisches Verhalten und Prfung
$49.99
Classification of Endogenous Psychoses and their Differentiated Etiology
$169.99
Pneumencephalographische und Psychopathologische Bilder bei Endogenen Psychosen
$59.99
Control and Optimization Methods for Electric Smart Grids
$169.99
Practical C++ Financial Programming
$69.99
Science Vocabulary Readers: Wild Weather
$56.24
Contemporary Womens Ghost Stories
$89.00
Application of Liquid Biofuels to Internal Combustion Engines
$84.99
La casa de algn da
$21.95
Bayes Factors for Forensic Decision Analyses with R
$59.99
Untersuchungen ber eine Mglichkeit, berhrungslos Leistungsmessungen an mechanisch schwingenden Sy
$54.99
Werkstoffkunde
$49.95
Handbuch Maschinenbau
$69.99
Group Decision and Negotiation. A Socio-Technical Perspective
$39.99
