Logic-Based Program Synthesis and Transformation
☆☆☆☆☆
(0 opinii)
Najniższa cena (z dostawą)
7 460,00 JPY
Liczba ofert1
Ostatnia aktualizacja3 dni temu
| Sprzedawca | Cena produktu | Dostawa | Razem | Dostępność | Aktualizacja | |
|---|---|---|---|---|---|---|
| SP SpringerNatureLink Shop INT | 7 435,00 JPY | 25,00 JPY | 7 460,00 JPY | Dostępny | 3 dni temu | Zobacz ofertę |
Ceny i dostępność mogą ulec zmianie. Ostatnia aktualizacja: 15.08.2026 07:53.
EAN
9783031712944
Springer Nature
0,0
☆☆☆☆☆
0 opinii
5★
0%
4★
0%
3★
0%
2★
0%
1★
0%
Opinie o produkcie
Brak opinii — bądź pierwszy!
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.
Podobne produkty
50 Years of Philosophy and Medicine
od $107.30
Understanding Cybersecurity Law and Digital Privacy
od $122.63
Decisions in International Trade and Logistics
od $122.63
Advances in Economic Measurement
od $122.63
Nanomaterials
od $137.96
Sustainable Scaffolds-based Strategies in Tissue Engineering and Regenerative Medicine
od $162.87
Narratives in Educational Research
od $162.87
Environmental Biology of the Young Chinese Sturgeon
od $210.78