Delivery included to the United States

Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings - Lecture Notes in Computer Science

Paperback (07 Sep 2024)

Save $9.12

  • RRP $68.35
  • $59.23
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

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.

Book information

ISBN: 9783031712937
Publisher: Springer Nature Switzerland
Imprint: Springer
Pub date:
DEWEY: 005.115
DEWEY edition: 23
Language: English
Number of pages: 241
Weight: 386g
Height: 235mm
Width: 155mm
Spine width: 15mm