Logic-Based Program Synthesis and Transformation, Kartoniert / Broschiert
Logic-Based Program Synthesis and Transformation
Buch
- 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9-10, 2025, Proceedings
lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)
(soweit verfügbar beim Lieferanten)
Aktueller Preis: EUR 63,51
- Herausgeber:
- Santiago Escobar, Laura Titolo
- Verlag:
- Springer-Verlag GmbH, 09/2025
- Einband:
- Kartoniert / Broschiert
- Sprache:
- Englisch
- ISBN-13:
- 9783032048479
- Artikelnummer:
- 12383672
- Umfang:
- 213 Seiten
- Sonstiges:
- X, 213 p. 51 illus., 39 illus. in color.
- Gewicht:
- 347 g
- Maße:
- 235 x 155 mm
- Stärke:
- 13 mm
- Erscheinungstermin:
- 13.9.2025
- Serie:
- Lecture Notes in Computer Science - Band 16117
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Klappentext
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.
Mehr von Lecture Notes i...
-
Networked SystemsBuchAktueller Preis: EUR 164,28
-
Massimo BartolettiFinancial Cryptography and Data Security. FC 2025 International WorkshopsBuchAktueller Preis: EUR 81,04
-
Components Operationally: Reversibility and System EngineeringBuchAktueller Preis: EUR 63,51
-
Machine Learning for NetworkingBuchAktueller Preis: EUR 186,19

Logic-Based Program Synthesis and Transformation
Aktueller Preis: EUR 63,51