Copied Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
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.
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 |
|
$49.50 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Methodological Aspects of the Development of Low Temperature Physics 18811956
$109.99
Citizenship, Belonging and Intergenerational Relations in African Migration
$54.99
The Gibbs Phenomenon in Fourier Analysis, Splines and Wavelet Approximations
$169.99
Computer Simulations of Aggregation of Proteins and Peptides
$199.99
Generalized Locally Toeplitz Sequences: Theory and Applications
$39.99
Litigation-PR
$59.99
Materials Interfaces
$329.99
Progress in the Chemistry of Organic Natural Products 115
$379.99
Karst of East Herzegovina and Dubrovnik Littoral
$169.99
Phenotypic Screening
$199.99
True Ghost Stories: Haunted Pets
$4.46
Grundlagen der Regelungstechnik
$59.99
Collected Papers - Gesammelte Abhandlungen
$69.99
Concurrent Enterprising
$169.99
International Maritime Labour Law
$99.00
Wirkstoff Werbetext
$59.99
Altchinesische Bronzen
$59.99
From Smart City to Smart Region
$44.99
Computer-Assisted Neurosurgery
$54.99
Informationelle Selbstbestimmung in der Cloud
$79.99
Sozialer Raum und Soziale Arbeit
$37.99
Topics in Cryptology - CT-RSA 2009
$39.99
Ergebnisse der Biologie
$59.99
Politikkompetenz
$59.99
Trends in Quantum Electronics
$84.99
The Postmillennial Vampire
$59.99
Zahlentheorie
$34.99
Erfindung der Romantik
$54.99
Sampling for Natural Resource Monitoring
$249.99
Efficiency and Innovation in Logistics
$169.99
Microparticle Dynamics in Electrostatic and Flow Fields
$169.00
Adhesion between polymers and concrete / Adhsion entre polymres et bton
$84.99
Trust, Reputation, and Security: Theories and Practice
$39.99
Schdigungen des Anaesthesie-Personals durch Narkose-Gase und -Dmpfe
$69.99
Incentives in Health Systems
$109.99
Zerkleinerungsvorrichtungen und Mahlanlagen
$59.99
Introduction to Stochastic Programming
$49.99
Nuclear Factor B
$109.99
Biologen in der Industrie: Was erwartet sie?
$29.99
Description Logic, Theory Combination, and All That
$54.99
