Name: Logic-Based Program Synthesis and Transformation. 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9–10, 2025, Proceedings
SKU: 64766873
Price: 1136.00 ZAR
Availability: InStock
Author: Laura Titolo;Santiago Escobar
ISBN: 9783032048479

portada Logic-Based Program Synthesis and Transformation. 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9–10, 2025, Proceedings

Logic-Based Program Synthesis and Transformation. 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9–10, 2025, Proceedings

Type

Physical Book

Publisher

Springer Nature Switzerland AG

Author

Laura Titolo;Santiago Escobar

Collection

Lecture Notes in Computer Science

Year

2025

Pages

213

Format

Paperback

Dimensions

23.5x15.5 cm

ISBN13

9783032048479

Logic-Based Program Synthesis and Transformation. 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9–10, 2025, Proceedings

Laura Titolo;Santiago Escobar (Author) · Springer Nature Switzerland AG · Paperback

Cheaper New Book Imported to South Africa

Delivery: 23 Nov - 01 Dec

R 1,136

Faster New Book Imported to South Africa

Delivery: 09 Nov - 17 Nov

R 1,382

R 1,136

Add to Wishlist

Synopsis "Logic-Based Program Synthesis and Transformation. 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9–10, 2025, Proceedings"

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.