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

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer Nature Switzerland AG
SKU: 9783032048479
Price: 9000 KES
Availability: OutOfStock
ISBN: 9783032048479

Book Details

Format Paperback / softback

Book Series Lecture Notes in Computer Science

ISBN-10 3032048478

ISBN-13 9783032048479

Publisher Springer Nature Switzerland AG

Imprint Springer Nature Switzerland AG

Country of Manufacture GB

Country of Publication GB

Publication Date Sep 13th, 2025

Print length 213 Pages

Weight 346 grams

Dimensions 23.40 x 15.50 x 1.50 cms

Product Classification: Mathematical theory of computation

KSh 9,000.00

Currently unavailable 0 in stock

Delivery Location

County

Location

Delivery fee: Select location

Secure

Quality

Fast

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.

Get Logic-Based Program Synthesis and Transformation by Laura Titolo at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer Nature Switzerland AG and it has 213 pages.