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
Isotropic and Anisotropic Seismic Tomography Using Active Source and Earthquake Records
$84.99
Environmental Microbiology of Aquatic and Waste Systems
$54.99
Gastroesophageal Reflux Disease
$109.99
Indigenous Environmental Knowledge
$199.99
Class Clown Fish
$5.99
Gesamtstrahlungsmessungen der Temperaturstrahlung
$59.99
Measuring the Impact of Online Media on Consumers, Businesses and Society
$89.00
Digital Timing Macromodeling for VLSI Design Verification
$169.99
Baby Shark: Time for School, Baby Shark
$5.24
Liquid Chromatography in Environmental Analysis
$169.99
A New Take on Cake: 175 Beautiful, Doable Cake Mix Recipes for Bundts, Layers, Slabs, Loaves, Cookies, and More! A Baking Book by Anne Byrn
$26.99
Dynamical Networks in Physics and Biology
$109.99
Sprache und Denken als Sprachphilosophisches Problem von Locke bis Wittgenstein
$64.99
Water-resisting Property and Key Technologies of Grouting Reconstruction of the Upper Ordovician Lim
$84.99
The Far North:
$169.00
Current Trends in Analysis and Its Applications
$129.00
Textbook of Shoulder Surgery
$199.99
Soft Computing Applications
$219.99
A Practical Guide to the Manufacture of Sulfuric Acid, Oleums, and Sulfonating Agents
$54.99
Comparative Communication Research
$79.99
Re-Visioning Lear's Daughters
$54.99
Handbuch Cyberkriminologie 1
$129.99
Geldanlage und Steuer 2014
$64.99
The Ocean Basins and Margins
$84.99
Galactic and Extragalactic Infrared Spectroscopy
$169.99
Einfhrung in die technische Strmungslehre
$74.99
Channel Modeling and Physical Layer Optimization in Copper Line Networks
$109.99
Entrepreneurship in Former Yugoslavia
$109.99
A Textbook of Robotics 1
$39.99
Experten-Forum Powertrain: Komponenten und Kompetenzen zuknftiger Antriebe 2022
$119.99
The Role of Model Integration in Complex Systems Modelling
$84.99
Economic Reforms and Welfare Systems in the USSR, Poland and Hungary
$39.99
Stress Proteins
$84.99
Individuelle Frderung begabter Grundschler
$59.99
Medical and Surgical Complications of Sickle Cell Anemia
$84.99
U.S. Trade Deficit: Causes, Consequences, and Cures
$84.99
Wertebildung in Jugendarbeit, Schule und Kommune
$39.99
Gender, Protests and Political Change in Africa
$109.00
Pathophysiologie der Aufwachphase
$59.99
The Palgrave Handbook of Urban Development Planning in Africa
$249.99
