Logic-Based Program Synthesis and Transformation
☆☆☆☆☆
(0 reviews)
| Venditore | Product price | Delivery | Totale | Disponibilità | Updated | |
|---|---|---|---|---|---|---|
| SP SpringerNatureLink Shop INT | 7 435,00 JPY | 25,00 JPY | 7 460,00 JPY | Disponibile | 1 giorno fa | View offer |
I prezzi e la disponibilità possono variare. Ultimo aggiornamento: 15.08.2026 07:53.
EAN
9783031712944
Springer Nature
0,0
☆☆☆☆☆
0 reviews
5★
0%
4★
0%
3★
0%
2★
0%
1★
0%
Product reviews
No reviews yet — be the first!
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 9–10, 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.
Similar products
50 Years of Philosophy and Medicine
from $107.30
Understanding Cybersecurity Law and Digital Privacy
from $122.63
Decisions in International Trade and Logistics
from $122.63
Advances in Economic Measurement
from $122.63
Nanomaterials
from $137.96
Sustainable Scaffolds-based Strategies in Tissue Engineering and Regenerative Medicine
from $162.87
Narratives in Educational Research
from $162.87
Environmental Biology of the Young Chinese Sturgeon
from $210.78