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:
Buy Logic-Based Program Synthesis and Transformation for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$39.99 | 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
Vollstndige Induktion
$37.99
Anaesthesiologische Probleme in der Hals-Nasen-Ohren-Heilkunde und Kieferchirurgie
$59.99
Einheitspreisneuberechnung nach Leistungsnderungen gem VOB/B
$99.99
Etablierung von Netzwerken in der Energiewirtschaft
$79.99
Die Kennzeichnung der remissionsfhigen und der malignen Verlaufsform des Pemphigu schronicus nach d
$54.99
The Smoke of the Soul
$79.99
Festkrperprobleme 34
$54.99
Freezing of Lakes and the Evolution of Their Ice Cover
$179.99
Securing PHP Apps
$22.99
Current Trends in Reliability, Availability, Maintainability and Safety
$219.99
Real Time Fault Monitoring of Industrial Processes
$219.99
Implementation of Urban Logistics Systems
$109.99
Vertical Integration and Regulation
$54.99
Polyneuropathies Associated with Plasma Cell Dyscrasias
$84.99
Reassessing Lukashenka
$54.99
Stochastic Integrals
$44.99
Leiden und Lebenskunst
$59.99
Learning on Silicon
$169.99
Handbuch Angewandte Ethik
$49.99
Writing the Australian Beach
$39.99
Coordination Dynamics: Issues and Trends
$169.99
Concepts, Design, and Performance Analysis of a Parallel Prolog Machine
$39.99
Organisation Formen und Modelle
$69.99
Die Anwendung hoher Ueberhitzung beim Betrieb von Dampfturbinen
$59.99
BONUS Algorithm for Scale Stochastic Nonlinear Programming Problems
$54.99
Flags of the Night Sky
$37.99
Design, Fabrication and Electrochemical Performance of Nanostructured Carbon Based Materials for Hig
$109.99
The Impacts of Biofuels on the Economy, Environment, and Poverty
$84.99
Ready-to-Read Pre-Level 1-Otto: See Otto
$3.71
Mathematics of Multidimensional Fourier Transform Algorithms
$39.99
Micromorphology of Soils and Paleosols of India
$139.99
Norman Kings of Sicily and the Rise of the Anti-Islamic Critique
$129.99
Einfhrung in Theorie und Praxis der Zeitreihen- und Modalanalyse
$49.99
John Grote
$54.99
The Palgrave Handbook of Mimetic Theory and Religion
$259.00
Between Sovereignty and Global Governance?
$169.99
Fiscal Decentralization in India
$99.00
Quick Guide Usability
$39.99
Unboxing Android USB
$69.99
Principles of Data Mining and Knowledge Discovery
$39.99
