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 $58.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
|
|
$64.99 | $64.99 |
|
10% OFF
This deals requires coupon
|
$58.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020. The 15 papers presented in this volume were carefully reviewed and selected from a total of 31 submissions. The book also contains two invited talks in full paper length. The contributions were organized in topical sections named: rewriting; unification; types; verification; model checking and probabilistic programming; program analysis and testing; and logics.
Reviews
Questions & Answers
Getting Started with Ethereum
$32.99
Cultures of Violence
$84.99
Cultural-Historical and Critical Psychology
$84.99
Localizing Global Finance: The Rise of Western-Style Private Equity in China
$54.99
Last Gate of the Emperor #2: The Royal Trials (Hardcover)
$13.49
Quantitative approaches to phytogeography
$219.99
Recent Results in Stochastic Programming
$54.99
Semidistributive Modules and Rings
$39.99
The Plant Viruses
$39.99
The Design of Low-Voltage, Low-Power Sigma-Delta Modulators
$169.99
Knowledge Intensive Computer Aided Design
$219.99
Eingebettete Systeme
$29.99
Wild River
$6.74
Microbial Metal Respiration
$129.00
Multimodale Erlebnisvermittlung am Point of Sale
$69.99
Information Technologies in Environmental Engineering
$219.99
Progress in Materials Analysis
$54.99
Japans Asian Diplomacy
$129.99
Metaheuristic Optimization via Memory and Evolution
$84.99
There's a Map on My Lap - All About Maps by Tish Rabe
$9.99
Theoretical Treatment of Electron Emission and Related Phenomena
$169.99
Echokardiographische Diagnostik bei koronarer Herzkrankheit
$79.99
Single-Molecule Magnets and Related Phenomena
$259.00
Neural Information Processing
$109.99
Die virtuelle technische Universitt zur Aus- und Weiterbildung von Ingenieuren nach dem Dualen Mode
$89.99
Umkehrungen
$44.99
General Galois Geometries
$129.99
History and Anti-History in Philosophy
$129.00
Fundamentals of Hopf Algebras
$64.99
Emerging Conceptual, Ethical and Policy Issues in Bionanotechnology
$169.99
Applied Economics, Business and Development
$54.99
Illegal Animal Traffickers (A True Book: The New Criminals)
$23.25
Konflixt und zugenht
$44.99
A Phenomenology of Musical Absorption
$109.99
Berichte zu Pflanzenschutzmitteln 2007
$29.99
Phytoremediation Potential of Bioenergy Plants
$169.99
The Physics and Chemistry of SiO2 and the Si-SiO2 Interface 2
$219.99
Equity Financing and Covenants in Venture Capital
$39.99
Die Lehre von den Tonempfindungen als Physiologische Grundlage fr die Theorie der Musik
$84.99
Law and Disciplinarity
$54.99
