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 |
|
$54.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Erster Teil: Die Entwicklung des Weltluftverkehrs. Zweiter Teil: Die zivile Luftfahrtpolitik der Ver
$49.99
Practical Aspects of Declarative Languages
$84.99
IT-Sicherheitsmanagement nach ISO 27001 und Grundschutz
$54.99
Grundlagen der elektrischen Nachrichtenbertragung
$74.99
Denkmal und Energie 2016
$19.99
Globalisation, Policy and Comparative Research
$109.99
Immunology and Molecular Biology of Cardiovascular Diseases
$219.99
Perturbation Expansions in Axiomatic Field Theory
$39.99
Blast Back!: The Statue of Liberty
$4.46
Methoden der Ganzzahligen Optimierung
$39.99
Fahrwerkhandbuch
$249.99
Chlorine, Bromine and Iodine NMR
$129.00
Bausanierung
$89.99
Gaswirtschaft
$59.99
Mitigating Environmental Stresses for Agricultural Sustainability in Egypt
$109.99
Lifelong Machine Learning
$99.99
Visuomotor Coordination
$169.00
Gesamtenergiesystem der Zukunft (GES)
$17.99
Equibalancedistribution (Eqbl) in der Analyse von Erdbebendaten
$39.99
Municipal Accountability in the American Age of Reform
$44.99
Lectures on Viscoelasticity Theory
$109.99
Kundengruppen und Produktlebenszyklus
$79.99
Geronimo Stilton Journey Through Time: Lost in Time (#4) (Hardcover)
$12.74
Photopion Nuclear Physics
$39.99
Physics of Biomaterials: Fluctuations, Selfassembly and Evolution
$129.00
Power of Bonding and Non-Western Soft Power Strategy in Iran
$139.99
Cognition Beyond the Brain
$84.99
Technische Gesetze
$44.99
Roman Love Elegy and the Eros of Empire
$139.99
Grundlagen empirischer Forschung
$29.99
Objektlokalisation
$49.99
Variationen ber die vielen Frieden
$59.99
Cardiac Cell Biology
$169.99
Standard Model Measurements with the ATLAS Detector
$109.99
Scholastic Reader! Math Level 2: How Many Feet? How Many Tails?
$2.99
Directing at Disney: The Original Directors of Walt's Animated Films Book
$50.00
Making India: Colonialism, National Culture, and the Afterlife of Indian English Authority
$109.99
Mglichkeiten und Grenzen der antineoplastischen Therapie
$44.99
Climate Vulnerability and Resilience in the Global South
$169.99
Technikgestaltung und regionale Projekte
$59.99
