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
Risk Analysis and Reduction in the Chemical Process Industry
$219.99
Hormonal Regulation of Plant Growth and Development
$169.99
Sustainable Oil and Gas Using Blockchain
$179.99
The Legitimation Crisis of Neoliberalism
$99.99
If You Were a Kid Building a Pyramid
$5.96
Der praktische Maschinenbauer
$59.99
Managing Community Health Services
$54.99
Das Strafrecht und die Kriminalitt in der Alltagssprache der deutschen Bevlkerung
$59.99
Gerhart Hauptmann
$19.99
Grundlagen Automatisierung
$29.99
Challenges of Aging
$54.99
The Palgrave Handbook of European Banking
$199.99
Classical and Quantum Computing
$54.99
Family-Oriented Primary Care
$119.00
Microclusters
$39.99
Digital Technologies and Applications
$189.00
Surfing the Global Tide
$54.99
Handbook of Total Quality Management
$219.99
The Role of Memory in Ethnic Conflict
$109.99
International Joint Double Degrees and International Transitions in Higher Education
$119.99
Moderne, Staat und Internationale Politik
$69.99
Of Cigarettes, High Heels, and Other Interesting Things
$39.99
Recommendation and Search in Social Networks
$54.99
Global Power Europe - Vol. 1
$109.99
Performance and QoS of Next Generation Networking
$84.99
Bildverarbeitung fr die Medizin 2005
$159.00
Programmierkurs TURBO-PASCAL Version 7.0
$59.99
Advances in Databases and Information Systems
$84.99
The Subthalamic Nucleus
$109.99
Taxation History, Theory, Law and Administration
$129.99
Artificial Intelligence in Internet of Things (IoT): Key Digital Trends
$189.00
Die Seele
$44.99
Botrytis the Fungus, the Pathogen and its Management in Agricultural Systems
$249.99
Sustainable Communication Networks and Application
$169.00
Internationales Handels- und Logistikrecht
$49.99
Political, Economic and Financial Country Risk
$54.99
Betoninstandsetzung
$39.99
Lernstrungen
$84.99
Kontrastive Analyse zur chinesischen und deutschen Berichterstattung ber Katastrophen
$39.99
Speculative Geographies
$119.99
