Logic-Based Program Synthesis and Transformation : 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings
2024 ed.
Book Details
Format
Paperback / Softback
Book Series
Lecture Notes in Computer Science
ISBN-10
3031712935
ISBN-13
9783031712937
Edition
2024 ed.
Publisher
Springer International Publishing AG
Imprint
Springer International Publishing AG
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Sep 7th, 2024
Print length
241 Pages
Weight
402 grams
Dimensions
15.40 x 23.50 x 1.90 cms
Product Classification:
Mathematical theory of computation
Ksh 9,900.00
Werezi Extended Catalogue
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 9–10, 2024. The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 28 submissions.
This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 9–10, 2024. The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 28 submissions. They were organized in topical sections as follows: Synthesis and Transformation; Decision Procedures; Deployment; Specification, Refactoring and Testing; and Term and Graph Rewriting.
Get Logic-Based Program Synthesis and Transformation by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has pages.
