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 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, in July 2015. The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 30 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.
Reviews
Questions & Answers
Renormalization of Quantum Field Theories with Non-linear Field Transformations
$39.99
Psychotherapie-Manual
$54.99
Die doppelte Dokumentation
$49.99
Written Corrective Feedback: The Role of Learner Engagement
$89.00
HCI International 2022 Late Breaking Papers: HCI for Today's Community and Economy
$89.99
Revolutionizing Aircraft Materials and Processes
$169.99
Basement Tectonics 13
$129.00
Responsive Organisationsforschung
$49.99
Sense and Sensitivity
$39.99
From Contamination to Defects, Faults and Yield Loss
$84.99
Celebrating Katherine Mansfield
$39.99
Ein Fall von Einem Carcinom in Einem Hydronephrotischen Sack bei Gleichzeitiger Papillomatosis des Z
$54.99
See Me by Nicholas Sparks
$15.99
Business Responsibility and Sustainability in India
$139.99
Computational Diffusion MRI
$109.99
Knowledge Graph and Semantic Computing: Semantic, Knowledge, and Linked Big Data
$39.99
The Hospitalized Child Psychosocial Issues
$109.99
Jugend in Europa
$59.99
Isogeometric Methods for Numerical Simulation
$109.99
Stahlbetonerhaltung
$59.99
TestFrame
$54.99
Smart Multicore Embedded Systems
$109.99
Subsidy Regulation and State Transformation in North America, the GATT and the EU
$39.99
Organisation und das Neue
$49.99
Divergence and Convergence of Automobile Fuel Economy Regulations
$39.99
Big Data Analysis on Global Community Formation and Isolation
$129.99
Contemporary Development Ethics from an African Perspective
$119.00
Current and Future Reproductive Technologies and World Food Production
$169.99
Grundrechte und grenzberschreitende Sachverhalte
$74.99
Auditory Spaces
$79.99
Die Logik in der Geschichte des Geistes
$99.99
Downstream Processing
$129.00
Advances in the Theory of Atomic and Molecular Systems
$219.99
Automatic Assessment of Parkinsonian Speech
$39.99
Classical Descriptive Set Theory
$79.95
The State and Capital Accumulation in Latin America
$109.99
Das Naspinnen von Bastfasergarnen mit Spinnbadzustzen unter Ausnutzung einer zentralen Spinnwasser
$59.99
Ueber Anstalts- und Hausklranlagen
$59.99
Hydroformylation for Organic Synthesis
$299.99
Mitarbeiter-Placement
$69.99
