Logic-Based Program Synthesis and Transformation : 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer International Publishing AG
SKU: 9783031712937
Price: 9900 KES
Availability: OutOfStock
ISBN: 9783031712937

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

Currently unavailable 0 in stock

Delivery Location

County

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. 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 Harald Søndergaard 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 241 pages.