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 $49.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
|
|
$54.99 | $54.99 |
|
10% OFF
This deals requires coupon
|
$49.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 910, 2024. The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 28 submissions. They were organized in topical sections as follows: Synthesis and Transformation; Decision Procedures; Deployment; Specification, Refactoring and Testing; and Term and Graph Rewriting.
Reviews
Questions & Answers
Practitioner's Guide to Quality and Process Improvement
$169.99
The Barley Genome
$249.99
Parallel Computing in Science and Engineering
$39.99
The Palgrave Handbook of Family Sociology in Europe
$219.00
R-Calculus, VI: Finite Injury Priority Method
$119.00
Dynamic 3D Imaging
$54.99
Design Engineering and Science
$99.99
Stochastic Analysis and Related Topics VIII
$109.99
Female Corpses in Crime Fiction
$89.99
Der besetzte Verbndete
$44.99
Messungen an elektrischen Maschinen
$49.99
Quantitative Methoden in der Politikwissenschaft
$39.99
Digraphs
$89.00
Spektraltheorie selbstadjungierter Operatoren im Hilbertraum und elliptischer Differentialoperatoren
$24.99
The de Sitter (dS) Group and its Representations
$34.99
Organic Polymer Chemistry
$119.00
Fundamental Interactions in Physics
$39.99
The Constitutional Dimension of Contract Law
$159.99
Cultural Studies revisited
$39.99
Norstad: Cold-War Supreme Commander
$109.99
Superaustenitic Stainless Steels
$169.99
Klausurentrainer zur Festigkeitslehre fr Wirtschaftsingenieure
$29.99
Koordination von Supply Chains durch Mengenbindungsvereinbarungen
$64.99
Machine Learning and Knowledge Discovery in Databases
$39.99
Abwanderung, Geburtenrckgang und regionale Entwicklung
$74.99
Das Kabel im Brckenbau
$79.99
Eisenbahn-Verkehrsordnung
$69.99
Liquids Under Negative Pressure
$169.99
Mathematics for the Life Sciences
$59.99
Marketing Competences and Strategic Flexibility in China
$109.99
Theoretische Physik mit dem Personal Computer
$49.99
Interference Coordination for Cellular Networks
$54.99
Das Gueisen
$59.99
Mathematik verstehen und anwenden: Differenzial- und Integralrechnung, Lineare Algebra
$29.99
Geoinformatics and Data Analysis
$199.99
Photocatalytic Reaction Engineering
$84.99
Hybrid PID Based Predictive Control Strategies for WirelessHART Networked Control Systems
$109.99
Reproductive Behaviour of Insects
$219.99
Mathematik fachfremd unterrichten
$64.99
Data Fabric and Data Mesh Approaches with AI
$44.99
