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-conference proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain, in September 2013. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions during two rounds of reviewing and improvement. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.
Reviews
Questions & Answers
Integrated Modeling of Reservoir Fluid Properties and Multiphase Flow in Offshore Production Systems
$169.99
Die lernende Organisation
$44.99
The AI Cleanse: Transforming Wastewater Treatment Through Artificial Intelligence
$179.99
Smart Technology
$39.99
Green Politics and Neoliberalism
$84.99
Menschenrechtsverletzungen im Zusammenhang mit wirtschaftlichen Aktivitten von transnationalen Unte
$89.00
Excursions in Ill-Condensed Quantum Matter
$84.99
Alkoholabhngigkeit
$64.99
The Foundations of Phenomenological Psychotherapy
$129.99
The Mirror of Information in Early Modern England
$119.99
Intelligent Assistive Robots
$84.99
Athletes Human Rights and the Fight Against Doping: A Study of the European Legal Framework
$159.99
Advances in the Theory of Probabilistic and Fuzzy Data Scientific Methods with Applications
$109.99
Quantal Density Functional Theory
$109.99
Rationalittssicherung bei hohen Wissensdefiziten
$59.99
Alma's Way: Level 2 Reader: Junior's Lost Tooth
$4.49
Selbststudium im digitalen Wandel
$59.99
Renewable Energy Scenarios in Future Indian Smart Cities
$129.99
The Handbook of Contraception
$139.00
Physical and Mathematical Aspects of Symmetries
$129.00
Bobby vs. Girls (Accidentally)
$4.49
The Collapse of Exchange Rate Regimes
$109.99
New Thinking in Complexity for the Social Sciences and Humanities
$109.99
Artificial Intelligence and Soft Computing
$39.99
Games for Health 2014
$44.99
Clinical Contact Dermatitis
$89.00
Digitalisierung im Mathematikunterricht
$34.99
VEE Pro: Practical Graphical Programming
$84.99
Mathematical Aspects of Network Routing Optimization
$109.99
Masters Theses in the Pure and Applied Sciences
$54.99
A Womans Way
$54.99
Kreatives Experimentieren
$59.99
Dialog Systems
$129.99
Nanomaterials for Luminescent Devices, Sensors, and Bio-imaging Applications
$139.99
The Law of Carriage of Goods by Sea
$139.99
Unternehmens-IT fr Banken
$84.99
Writing Displacement
$24.99
Information Security
$54.99
Polyelectrolytes with Defined Molecular Architecture II
$169.00
Knowledge and the Economy
$169.99
