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
Urologie und ihre Grenzgebiete
$59.99
Modeling and Simulation of Nanofluid Flow Problems
$29.99
Estuarine Management and Quality Assessment
$109.99
Nanoparticle Emissions From Combustion Engines
$84.99
Phytolith Systematics
$199.99
Der Einflu der Besteuerung auf die Gestaltung des Preisentscheidungsprozesses in der Unternehmung
$69.99
Towards a Collaborative Society Through Creative Learning
$159.99
Concepts in User Interfaces
$39.99
Beginning Apache Cassandra Development
$49.99
Scholar Zone Extended Learning ELA & Math Grade 7 (2 Scholar)
$150.00
Automated Broad and Narrow Band Impedance Matching for RF and Microwave Circuits
$109.99
Sexuell werden
$59.99
Paul Ricoeur
$37.99
Pro Web 2.0 Mashups
$49.99
The Soils of Argentina
$159.99
Microstructure and Properties of Micro- and Nanoscale Materials, Films, and Coatings (NAP 2019)
$169.99
Coastal Wetlands: Alteration and Remediation
$249.99
If You Give a Mouse: Merry Christmas, Mouse!
$3.71
Brgerliches Recht fr Betriebswirte
$69.99
Effective Statistical Learning Methods for Actuaries I
$39.99
Learning Classifier Systems
$39.99
Medical Image Reconstruction
$109.00
Korean Memories and Psycho-Historical Fragmentation
$139.99
Cosmic Rays in the Earths Atmosphere and Underground
$329.99
CMOS Biotechnology
$169.99
Intelligent Technologies: Concepts, Applications, and Future Directions, Volume 2
$219.99
Language and the Origins of Psychoanalysis
$44.99
Wettbewerbsvorteile durch Lieferantenintegration
$49.99
Discovering the Ocean from Space
$219.99
Menschenrechtsverletzungen im Zusammenhang mit wirtschaftlichen Aktivitten von transnationalen Unte
$89.00
Sozialpolitik kompakt
$19.99
Experimental Investigation of Calcium Looping CO2 Capture for Application in Cement Plants
$54.99
Nonlinear Adiabatic Evolution of Quantum Systems
$119.99
West European Terrorism and Counter-Terrorism
$84.99
Instrumental Analysis in the Biological Sciences
$169.99
Coordination Chemistry
$54.99
The Road to the Dayton Accords
$39.99
Plankton Is Pushy
$3.74
UbiComp 2005: Ubiquitous Computing
$54.99
String Processing and Information Retrieval
$39.99
