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 $40.50 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
|
|
$44.99 | $44.99 |
|
10% OFF
This deals requires coupon
|
$40.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.* The 8 papers presented in this volume were carefully reviewed and selected from a total of 15 reviewed submissions. Additionally, the book also contains 1 full-length invited talk. *Conference was held as a hybrid event due to the COVID-19 pandemic.
Reviews
Questions & Answers
You Never Said Goodbye- A Novel by Luca Veste
$16.99
Multidisciplinary Approach to Surgical Oncology Patients
$84.99
Autolust! Dieselfrust?
$17.99
Advances in Information Communication Technology and Computing
$299.99
Islam, Culture, and Marriage Consent
$129.99
Governing by Numbers and Human Capital in Education Policy Beyond Neoliberalism
$109.99
Auf digitalen Pfaden
$69.95
Cash-Management-Systeme
$69.99
Die Schreibmaschine und das Maschinenschreiben
$59.99
Boundaries Crossed, at the Interfaces of Morphosyntax, Phonology, Pragmatics and Semantics
$179.99
Analytiker-Taschenbuch
$159.99
High-Performance Big-Data Analytics
$109.99
Reachability Problems
$39.99
Digitalisierung: Segen oder Fluch
$37.99
Mathematik im Fraunhofer-Institut
$84.99
Methods and Models in Mathematical Programming
$84.99
New Perspectives on Nitrogen Cycling in the Temperate and Tropical Americas
$84.99
Animal Mind Human Mind
$109.99
Research Methods in Indigenous Contexts
$39.99
Progress in Cryptology INDOCRYPT 2020
$109.99
Complexity, Heterogeneity, and the Methods of Statistical Physics in Economics
$99.00
Peer Instruction
$49.99
Beseitigung von Detergentien aus Abwssern und Gewssern
$59.99
Leo Strauss: Gesammelte Schriften
$39.99
Elektrokardiodiagnostik der Kardiale Notfall
$59.99
The Subjunctive in the Age of Prescriptivism
$54.99
Mobility of Visually Impaired People
$249.99
Sharing our Lives Online
$54.99
Corrosion in Systems for Storage and Transportation of Petroleum Products and Biofuels
$129.00
Minimum Divergence Methods in Statistical Machine Learning
$139.99
Regulating Investor Protection under EU Law
$139.99
Dynamisches Benchmarking
$74.99
Big Earth Data in Support of the Sustainable Development Goals (2022) - China
$59.99
A First Course in Real Analysis
$54.99
Fuzzy Logic in Intelligent System Design
$169.99
Curvature and Characteristic Classes
$24.99
International Handbook on Adolescent Health and Development
$189.00
The WTO and the New Generation EU FTA Dispute Settlement Mechanisms
$119.00
Frog and Toad All Year
$3.71
Artificial Neural Networks and Machine Learning ICANN 2024
$64.99
