Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2025
ISBN 10: 3032048478 ISBN 13: 9783032048479
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 91,27
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 223 pages. 9.25x6.10x9.21 inches. In Stock.
Sprache: Englisch
Verlag: Springer, Palgrave Macmillan, 2025
ISBN 10: 3032048478 ISBN 13: 9783032048479
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Taschenbuch. Zustand: Neu. Logic-Based Program Synthesis and Transformation | 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9-10, 2025, Proceedings | Santiago Escobar (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2025 | Springer | EAN 9783032048479 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.