Copied Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
This book constitutes the refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022. The 8 full papers were selected from 17 submissions and cover different aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.
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
|
|
$44.99 | $44.99 |
|
$44.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Astrophysics of Exoplanetary Atmospheres
$139.99
Blechmodellierung mit CATIA V5
$29.99
Digital Radio DAB+
$54.99
Proceedings of the International Conference on Earthquake Engineering and Structural Dynamics
$219.99
DNA Microarrays: Gene Expression Applications
$54.99
Lipids and Womens Health
$39.99
Geronimo Stilton: My Name Is Stilton, Geronimo Stilton (#19)
$5.99
Parallel and Distributed Processing and Applications
$109.99
COVID-19: Suche nach einem Impfstoff
$17.99
Worldmaking: Psychology and the Ideology of Creativity
$54.99
Rosa Luxemburg
$109.00
Foundations of Learning Classifier Systems
$129.00
Graph-Theoretic Concepts in Computer Science
$39.99
Spinal Imaging and Image Analysis
$84.99
From Agglomeration to Innovation
$109.99
Advances in Cryptology CRYPTO 2024
$79.99
Innovationen und Innovationsmanagement im Gesundheitswesen
$74.99
Mathematical Modeling of Physical Systems
$89.00
The Development of the Alternative Black Curriculum, 1890-1940
$99.99
Sportphilosophie
$79.99
Ambient Assisted Living
$54.99
El Mundo de los Piratas
$12.74
Die Rcklagenpolitik der Unternehmung
$59.99
The Lost Child in Literature and Culture
$99.99
Theorie praktischer Probleme
$39.99
The Role of Organic Matter in Modern Agriculture
$54.99
Antimicrobial Stewardship in Non-Traditional Settings
$119.99
Genetic Basis for Respiratory Control Disorders
$169.99
Steuervorteile fr Landwirte, Forstwirte, Winzer und Grtner
$59.99
Novel enzymes for functional carbohydrates production
$199.99
The European Union and the Paradox of Enlargement
$84.99
Stahlbetonbrcken
$139.00
Ubiquitous Computing and Ambient Intelligence. Sensing, Processing, and Using Environmental Informat
$54.99
Expertensysteme in Produktion und Engineering
$59.99
Handbook of Research in Pediatric and Clinical Child Psychology
$259.00
Real-Time IoT Imaging with Deep Neural Networks
$37.99
Artificial Economics
$109.99
Leben und Arbeiten in Neuseeland
$17.99
Graduate Study for the Twenty-First Century
$19.99
Der Sekundenherztod
$54.99
