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
Unobtrusive Observations of Learning in Digital Environments
$59.99
Kapitalstruktur-Entscheidungen bei bilanzorientierter Finanzplanung
$69.99
Unternehmer sind Verrckte
$29.99
Monoclonal Antibodies in Transplantation
$39.99
Molecular Pathology of Endocrine Diseases
$169.99
Biological Reactive Intermediates Vi
$169.00
Strategisches Verhalten bei Reorganisationen
$59.99
Brgerengagement in Deutschland
$39.99
Labor in Culture, Or, Worker of the World(s)
$99.99
Cancer Chemotherapy in Clinical Practice
$69.99
The Topology of Torus Actions on Symplectic Manifolds
$74.99
Analysis of the Navier-Stokes Problem
$19.99
Rating von Depotbank und Master-KAG
$49.99
Acute Muscle Injuries
$109.99
Competition and Compassion in Chinese Secondary Education
$54.99
Credit Guarantee Institutions and SME Finance
$84.99
European Somalis' Post-Migration Movements
$59.99
The Triple Helix: The Soul of Bioethics
$54.99
Haunted Nature
$89.00
Advances in Haploid Production in Higher Plants
$219.99
Light Scattering Reviews 5
$169.00
East Asian Conflict Zones
$39.99
Smart Transportation and Green Mobility Safety
$229.00
Die Arbeitszeitermittlung der Verzahnungsarbeiten
$44.99
Partial differential equations: time-periodic solutions
$219.99
Democracy at
$39.99
The Enigma of Good and Evil: The Moral Sentiment in Literature
$329.99
Stable Mappings and Their Singularities
$99.99
Patterns of Light
$199.99
Modern C Programming
$109.00
Navigating the Technological Tide: The Evolution and Challenges of Business Model Innovation
$219.99
European Margin Sediment Dynamics
$109.99
Flora der Schweiz und angrenzender Gebiete
$74.99
Bewertung von Wirtschaftsgtern
$59.99
The Pediatric Spine III
$54.99
Adaptive Peacebuilding
$59.99
Proceedings of the 2015 Chinese Intelligent Systems Conference
$129.00
Theory of K-Loops
$34.99
The Palgrave Handbook of New Directions in Kashmir Studies
$249.99
Disorders of the Neonatal Airway
$84.99
