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 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018. The 11 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 11 papers, this volume includes 3 abstracts of invited talks and 2 abstracts of invited tutorials. The papers are grouped into the following topics: analysis of term rewriting; logic-based distributed/concurrent programming; analysis of logic programming; and program analysis.
Reviews
Questions & Answers
Der Zeiten Bildersaal
$39.99
Marxism after Modernity
$54.99
Optical Metrology for Fluids, Combustion and Solids
$179.99
Two-Dimensional Real-Time Ultrasonic Imaging of the Heart
$219.99
New Directions and Applications in Control Theory
$84.99
Fostering Human Development Through Engineering and Technology Education
$49.99
Produktionsverlagerung von Industrieunternehmen ins Ausland
$74.99
Privacy and Identity Management. Data for Better Living: AI and Privacy
$64.99
Web Information Systems Engineering -- WISE 2013
$54.99
Springer Handbook of Electronic and Photonic Materials
$299.99
The Photoelastic Effect and Its Applications
$109.99
Quantum Monte Carlo Methods in Equilibrium and Nonequilibrium Systems
$84.99
E. Lechers Lehrbuch der Physik fr Mediziner, Biologen und Psychologen
$44.99
Prospektive Auswirkungen der Kosteneinsparung im Gesundheitswesen auf rzte, Patienten und die Indus
$69.99
Mixed-Signal Embedded Systems Design
$99.99
Transition to the Circular Economy Model
$159.99
Einfhrung in die Fertigungstechnik
$29.99
Angewandte Diskursforschung
$49.99
Integration and Peace in East Africa
$109.99
Vernderungsmessung und Lngsschnittstudien in der empirischen Erziehungswissenschaft
$69.99
Statistical Distributions in Scientific Work
$169.00
Algebraic Coding Theory Over Finite Commutative Rings
$79.99
Die Ethik inklusiver Bildung
$49.99
Asymptotic Theory of Elliptic Boundary Value Problems in Singularly Perturbed Domains Volume II
$169.99
The Making of the Banlieue
$49.99
Little Critter: Just Me in the Tub
$3.71
Spinal Cord Monitoring
$169.99
Polyphenols-based Nanotherapeutics for Cancer Management
$179.99
Die Verwertung des Roggens in ernhrungsphysiologischer und landwirtschaftlicher Hinsicht
$59.99
High-Throughput Screening Assays in Toxicology
$179.99
Philosophical Languages in the Seventeenth Century
$129.00
Software Composition
$39.99
Forensic Genetics in the Governance of Crime
$59.99
Virtue, Liberty, and Toleration
$84.99
On Optimal Population Paths
$54.99
Finanzierungsdesign bei Venture-Capital-Vertrgen
$59.99
Nuclear Magnetic Resonance Probes of Molecular Dynamics
$329.99
Policing and Conflict in Northern Ireland
$109.99
Die Gesellschaft und das Unbewusste
$39.99
Entstehung von Unternehmenskrisen
$79.99
