Share
Logic-Based Program Synthesis and Transformation: 32nd International Symposium, Lopstr 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings
Villanueva, Alicia (Author)
·
Springer
· Paperback
Logic-Based Program Synthesis and Transformation: 32nd International Symposium, Lopstr 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings - Villanueva, Alicia
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My Wishlists
Origin: U.S.A.
(Import costs included in the price)
It will be shipped from our warehouse between
Monday, August 12 and
Thursday, August 22.
You will receive it anywhere in United Kingdom between 1 and 3 business days after shipment.
Synopsis "Logic-Based Program Synthesis and Transformation: 32nd International Symposium, Lopstr 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings"
This book constitutes the refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022. The 8 full papers were selected from 17 submissions and cover different 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.