Logic-Based Program Synthesis and Transformation: 35th International Symposium, Lopstr 2025, Rende, Italy, September 9-10, 2025, Proceedings by Escobar, Santiago

Logic-Based Program Synthesis and Transformation: 35th International Symposium, Lopstr 2025, Rende, Italy, September 9-10, 2025, Proceedings (Paperback) (ISBN-13: 9783032048479)

Vendor: Santiago Escobar
Product type: Books
Format: Paperback
$64.99
$64.99
$64.99
Subtotal: $64.99
Logic-Based Program Synthesis and Transformation: 35th International Symposium, Lopstr 2025, Rende, Italy, September 9-10, 2025, Proceedings by Escobar, Santiago

Logic-Based Program Synthesis and Transformation: 35th International Symposium, Lopstr 2025, Rende, Italy, September 9-10, 2025, Proceedings

$64.99
Logic-Based Program Synthesis and Transformation: 35th International Symposium, Lopstr 2025, Rende, Italy, September 9-10, 2025, Proceedings by Escobar, Santiago

Logic-Based Program Synthesis and Transformation: 35th International Symposium, Lopstr 2025, Rende, Italy, September 9-10, 2025, Proceedings

$64.99
Format: Paperback
Description
Description
x

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.



Author: Santiago Escobar
ISBN-10: 3032048478
ISBN-13: 9783032048479
Publisher: Springer
Language: English
Published: 09/13/2025
Pages: 213
Format: Paperback
Weight: 0.71lbs
Size: 9.21h x 6.14w x 0.48d

Recently Viewed Products