Isbn: 9783031167669 - logic-based program synthesis and transformation: 32nd international symposium, lopstr 2022, tbilisi, georgia, september 21–23, 2022, proceedings (lecture notes in computer science, band 13474) (6 Ergebnisse)

Zustand: New. In English.

Paperback. Zustand: Brand New. 168 pages. 9.25x6.10x0.71 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022. The 8 full papers were selected from 17 submissions and cover different 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.…

Zustand: New.

Taschenbuch. Zustand: Neu. Logic-Based Program Synthesis and Transformation | 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings | Alicia Villanueva | Taschenbuch | Lecture Notes in Computer Science | xiii | Englisch | 2022 | Springer | EAN 9783031167669 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022. The 8 full papers were selected from 17 submissions and cover different 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.…