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
Physics at the Biomolecular Interface
$109.99
Gausche Flchentheorie, Riemannsche Rume und Minkowski-Welt
$49.99
Energy Technology and Valuation Issues
$89.00
An Instructor's Manual to H2H Marketing Case Studies
$59.99
Die Multimedia-Familie
$59.99
Die sozialwissenschaftliche Erforschung Ostafrikas 19541963
$59.99
Sustainable Management of Potato Pests and Diseases
$199.99
Martin Wight on Fortune and Irony in Politics
$54.99
Quince Duncan's Weathered Men and The Four Mirrors
$84.99
An Introduction to Special Functions
$59.99
Distributed Applications and Interoperable Systems
$39.99
The Jak-Stat Pathway in Hematopoiesis and Disease
$169.99
Biological Control of Plant Diseases
$219.99
Green Supplier Evaluation and Selection: Models, Methods and Applications
$84.99
Jellyfish Blooms
$129.00
Jahrbuch fr Soziologiegeschichte 1995
$59.99
Einfhrung in das Datenanalysesystem SPSS
$59.99
Nonlinear Dynamics and Quantum Phenomena in Optical Systems
$109.99
ISDN Das diensteintegrierende digitale Nachrichtennetz
$54.99
Abschied vom Abstraktions- und Traditionsprinzip?
$61.45
Herbaceous Plant Ecology
$219.99
Theory and Applications of Applied Electromagnetics
$169.99
Compiler Construction
$39.99
Grapevine Viruses: Molecular Biology, Diagnostics and Management
$379.99
Engineering Geology for Underground Works
$169.99
Digital VLSI Design with Verilog
$179.99
Building 2000
$39.99
Race Car Handling Optimization
$179.99
Theory and Applications of Difference Equations and Discrete Dynamical Systems
$109.99
Communication, Civilization and China
$109.99
Monte Carlo Statistical Methods
$199.99
Diophantine Geometry
$99.99
Politics in Sri Lanka, 1947-1979
$74.99
Whiplash Injuries
$89.00
Schubert Varieties and Degeneracy Loci
$34.99
Finite Element Analysis of Rotating Beams
$109.99
Zimbabwe
$54.99
Communication and Meaning
$84.99
Yellow Alkaline Noodles
$54.99
Scandal in a Digital Age
$54.99
