Get Free Shipping on orders over $79
Logic-Based Program Synthesis and Transformation : 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9¢"10, 2025, Proceedings - Laura Titolo
eTextbook alternate format product

Instant online reading.
Don't wait for delivery!

Logic-Based Program Synthesis and Transformation

35th International Symposium, LOPSTR 2025, Rende, Italy, September 9¢"10, 2025, Proceedings

By: Laura Titolo (Editor), Santiago Escobar (Editor)

Paperback | 17 October 2025

At a Glance

Paperback


$99.00

or 4 interest-free payments of $24.75 with

 or 

Ships in 5 to 7 business days

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.

More in Mathematical Theory of Computation

AI Engineering : Building Applications with Foundation Models - Chip Huyen
Discrete Mathematics for Computing : Grassroots - Peter Grossman
Crypto Engine Design : Cyber Shorts - Wen-Long Chin
Crypto Engine Design : Cyber Shorts - Wen-Long Chin
AI Value Creators : Beyond the Generative AI User Mindset - Dario Gil
Hands-On Generative AI with Transformers and Diffusion Models - Apolinario Passos