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: 3 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 61,49
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
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 51338356-n
Comprar nuevo
EUR 68,17
Envío por EUR 2,29
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 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: 4 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9783032048479
Comprar nuevo
EUR 70,54
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 de archivo
Logic-Based Program Synthesis and Transformation : 35th International Symposium, Lopstr 2025, Rende, Italy, September 9?10, 2025, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 51338356
Comprar usado
EUR 72,32
Envío por EUR 2,29
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 9?10, 2025, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 51338356
Comprar usado
EUR 73,32
Envío por EUR 17,38
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 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, 16117)
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Nº de ref. del artículo: 26404672571
Comprar nuevo
EUR 91,07
Envío por EUR 3,46
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Logic-Based Program Synthesis and Transformation : 35th International Symposium, Lopstr 2025, Rende, Italy, September 9?10, 2025, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 51338356-n
Comprar nuevo
EUR 77,26
Envío por EUR 17,38
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 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, 16117)
Impresión bajo demandaLibrería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Print on Demand. Nº de ref. del artículo: 409563108
Comprar nuevo
EUR 91,26
Envío por EUR 7,53
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 4 disponibles