Logic-Based Program Synthesis and Transformation : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings : 13290 by Emanuele De Angelis - Paperback

Logic-Based Program Synthesis and Transformation : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings : 13290 by Emanuele De Angelis - Paperback

AED0.00
(0) Write a Review
SKU:
9783030988685
UPC:
9783030988685

Product Description

ISBN: 9783030988685
TITLE: Logic-Based Program Synthesis and Transformation : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings : 13290
AUTHOR: Emanuele De Angelis
PUBLISHER: Springer Nature Switzerland AG
PUBLISHER DATE: 13 Mar 2022

Other Details

ISBN:
9783030988685
Author:
Emanuele De Angelis
Publisher:
Springer Nature Switzerland AG
Publisher Date:
Published:13 Mar 2022
Book Format:
Paperback

Related Products

Popular Trending Products