Delivery included to the United States

Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings - Lecture Notes in Computer Science

Paperback (11 Sep 2022)

Save $10.03

  • RRP $68.35
  • $58.32
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 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.

Book information

ISBN: 9783031167669
Publisher: Springer International Publishing
Imprint: Springer
Pub date:
DEWEY: 005.115
DEWEY edition: 23
Language: English
Number of pages: 155
Weight: 249g
Height: 235mm
Width: 155mm
Spine width: 9mm