Isbn: 9783031712937 - logic-based program synthesis and transformation: 34th international symposium, lopstr 2024, milan, italy, september 9-10, 2024, proceedings: 14919 (lecture notes in computer science, 14919) (11 resultados)

Paperback. Condición: new. Paperback. 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 910, 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. 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 910, 2024.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 28 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Condición: New. 2024th edition NO-PA16APR2015-KAP.

Paperback. Condición: Brand New. 257 pages. 9.25x6.10x8.90 inches. In Stock.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.…

Taschenbuch. Condición: Neu. Logic-Based Program Synthesis and Transformation | 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings | Juliana Bowles (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2024 | Springer | EAN 9783031712937 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Condición: new. Questo è un articolo print on demand.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 260 pp. Englisch.…

Condición: New. Print on Demand.

Condición: New. PRINT ON DEMAND.

Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 260 pp. Englisch.…