Description: Logic-based Program Synthesis and Transformation : 31st International Symposium, Lopstr 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings, Paperback by De Angelis, Emanuele (EDT); Vanhoof, Wim (EDT), ISBN 3030988686, ISBN-13 9783030988685, Like New Used, Free shipping in the US
This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.*
The 8 papers presented in this volume were carefully reviewed and selected from a total of 15 reviewed submissions. Additionally, th also contains 1 full-length invited talk.
*Conference was held as a hybrid event due to the COVID-19 pandemic.
Price: 72.14 USD
Location: Jessup, Maryland
End Time: 2025-01-14T22:30:43.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Logic-based Program Synthesis and Transformation : 31st Internati
Number of Pages: IX, 177 Pages
Publication Name: Logic-Based Program Synthesis and Transformation : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings
Language: English
Publisher: Springer International Publishing A&G
Publication Year: 2022
Subject: Software Development & Engineering / General, Computer Science, Networking / General, General
Item Weight: 10.4 Oz
Type: Textbook
Author: Wim Vanhoof
Item Length: 9.3 in
Subject Area: Mathematics, Computers
Item Width: 6.1 in
Series: Lecture Notes in Computer Science Ser.
Format: Trade Paperback
