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
Bildung ber die Lebenszeit
$54.99
The Yangtze River Delta
$54.99
Entrepreneurial Finance
$43.69
Affect and Mathematics Education
$59.99
Consciousness as a Scientific Concept
$109.99
Road and Off-Road Vehicle Dynamics
$119.99
WorldMinds: Geographical Perspectives on 100 Problems
$169.99
Depth From Defocus: A Real Aperture Imaging Approach
$109.99
Code Generation in Microsoft .NET
$54.99
Biological Aspects of Brain Tumors
$39.99
Politische Kultur als Migrationsforschung
$54.99
Verbrennungsluftfhrung bei Dieselmotoren
$24.99
Optimization
$54.99
Computing the Electrical Activity in the Heart
$119.99
Polymeric Micelles: Principles, Perspectives and Practices
$179.99
Fundamentals and Standards in Hardware Description Languages
$329.99
EU Action Plan for Sustainable Growth
$69.99
Die Registrierung des Herzschalles
$59.99
Die Entstehung der internationalen Mae der Elektrotechnik
$79.99
Unsteady Aerodynamics, Aeroacoustics and Aeroelasticity of Turbomachines
$169.00
EU Personal Data Protection in Policy and Practice
$89.99
The PACE System
$39.99
The Biology and Management of Mountain Ungulates
$109.99
Resonant X-Ray Scattering in Correlated Systems
$139.99
Anderson Localization
$169.99
Projects as Business Constituents and Guiding Motives
$109.99
The Individual Subject and Scientific Psychology
$169.99
Flag State Responsibility
$169.99
Problems and Theorems in Analysis II
$59.99
Sixth International Conference on Numerical Methods in Fluid Dynamics
$74.99
Soziologie des Privaten
$44.99
Change Point Analysis for Time Series
$139.99
References no. 32555-36587 / AAR-ZVA
$39.99
Financial Cryptography and Data Security. FC 2022 International Workshops
$79.99
NewsPrints
$9.74
Die nordische Allianz in der Europischen Union
$59.99
Managing Startup Enterprises in Emerging Markets
$54.99
Die Wirtschaftsinformatik im internationalen Wettbewerb
$69.99
Computational Science - ICCS 2007
$84.99
Untersuchungen zur Verminderung der Geruschanregung und -abstrahlung von Zahnradgetrieben
$69.99
