Logic-Based Program Synthesis and Transformation: 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9–10, 2025, Proceedings: 16117 (Lecture Notes in Computer Science) - Tapa blanda
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Logic-Based Program Synthesis and Transformation: 35th...
Imagen de archivo
Logic-Based Program Synthesis and Transformation (eng)
Impresión bajo demandaLibrería: Brook Bookstore On Demand, Napoli, NA, Italia
Calificación del vendedor: 4 de 5 estrellas
Condición: new. Questo è un articolo print on demand. Nº de ref. del artículo: RUXWHEE6HB
Comprar nuevo
EUR 52,63
Envío por EUR 5,50
Se envía de Italia a Estados Unidos de America
Se envía de Italia a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Logic-Based Program Synthesis and Transformation (Paperback)
Publicado por
Springer Nature Switzerland AG, Cham, 2025
ISBN 10: 3032048478
ISBN 13: 9783032048479
Nuevo
Paperback
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: new. Paperback. This volume constitutes the proceedings of 35th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2025, held in Rende, Italy, during September 910, 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Nº de ref. del artículo: 9783032048479
Comprar nuevo
EUR 60,94
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic-Based Program Synthesis and Transformation: 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9-10, 2025, Proceedings (Lecture Notes in Computer Science)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9783032048479
Comprar nuevo
EUR 70,52
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Logic-Based Program Synthesis and Transformation
Publicado por
Springer-Verlag Gmbh Sep 2025, 2025
ISBN 10: 3032048478
ISBN 13: 9783032048479
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 213 pp. Englisch. Nº de ref. del artículo: 9783032048479
Comprar nuevo
EUR 62,05
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Logic-Based Program Synthesis and Transformation: 35th International Symposium, Lopstr 2025, Rende, Italy, September 910, 2025, Proceedings
Publicado por
Springer-Nature New York Inc, 2025
ISBN 10: 3032048478
ISBN 13: 9783032048479
Nuevo
Paperback
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 223 pages. 9.25x6.10x9.21 inches. In Stock. Nº de ref. del artículo: x-3032048478
Comprar nuevo
EUR 91,58
Envío por EUR 11,58
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
Logic-Based Program Synthesis and Transformation
Publicado por
Springer Verlag GmbH, 2025
ISBN 10: 3032048478
ISBN 13: 9783032048479
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Nº de ref. del artículo: 2555001505
Comprar nuevo
EUR 55,40
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Logic-Based Program Synthesis and Transformation (Paperback)
Publicado por
Springer Nature Switzerland AG, Cham, 2025
ISBN 10: 3032048478
ISBN 13: 9783032048479
Nuevo
Paperback
Librería: CitiRetail, Stevenage, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: new. Paperback. This volume constitutes the proceedings of 35th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2025, held in Rende, Italy, during September 910, 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Nº de ref. del artículo: 9783032048479
Comprar nuevo
EUR 72,72
Envío por EUR 42,83
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Logic-Based Program Synthesis and Transformation
Publicado por
Springer-Verlag Gmbh Sep 2025, 2025
ISBN 10: 3032048478
ISBN 13: 9783032048479
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume constitutes the proceedings of 35th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2025, held in Rende, Italy, during September 910, 2025.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 213 pp. Englisch. Nº de ref. del artículo: 9783032048479
Comprar nuevo
EUR 62,05
Envío por EUR 60,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Logic-Based Program Synthesis and Transformation : 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9-10, 2025, Proceedings
Publicado por
Springer, Palgrave Macmillan, 2025
ISBN 10: 3032048478
ISBN 13: 9783032048479
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783032048479
Comprar nuevo
EUR 62,05
Envío por EUR 61,74
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Logic-Based Program Synthesis and Transformation | 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9-10, 2025, Proceedings
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Logic-Based Program Synthesis and Transformation | 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9-10, 2025, Proceedings | Santiago Escobar (u. a.) | Taschenbuch | 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. Nº de ref. del artículo: 133991439
Comprar nuevo
EUR 57,50
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 5 disponibles