Logic-Based Program Synthesis and Transformation : 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings : 13474 by Alicia Villanueva - Paperback

Logic-Based Program Synthesis and Transformation : 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings : 13474 by Alicia Villanueva - Paperback

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

Product Description

ISBN: 9783031167669
TITLE: Logic-Based Program Synthesis and Transformation : 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings : 13474
AUTHOR: Alicia Villanueva
PUBLISHER: Springer International Publishing AG
PUBLISHER DATE: 11 Sep 2022

Other Details

ISBN:
9783031167669
Author:
Alicia Villanueva
Publisher:
Springer International Publishing AG
Publisher Date:
Published:11 Sep 2022
Book Format:
Paperback

Related Products

Popular Trending Products