Logic-Based Program Synthesis and Transformation (eBook, PDF)
35th International Symposium, LOPSTR 2025, Rende, Italy, September 9-10, 2025, Proceedings
Redaktion: Escobar, Santiago; Titolo, Laura
Versandkostenfrei!
Sofort per Download lieferbar
46,95 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
23 °P sammeln!
This volume constitutes the proceedings of 35th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2025, held in Rende, Italy, during September 9-10, 2025.
The 17 full papers and 4 short paper included in this book were carefully reviewed and selected from 21 submissions. These papers cover all 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.
The 17 full papers and 4 short paper included in this book were carefully reviewed and selected from 21 submissions. These papers cover all 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.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Andere Kunden interessierten sich für
