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

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

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

Product Description

ISBN: 9783031167683
TITLE: Logic-Based Program Synthesis and Transformation : 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings
AUTHOR: Villanueva Alicia Villanueva
PUBLISHER: Springer Nature B.V.
PUBLISHER DATE: 11 Sep 2022

Other Details

ISBN:
9783031167683
Author:
Villanueva Alicia Villanueva
Publisher:
Springer Nature B.V.
Publisher Date:
Published:11 Sep 2022
Book Format:
Paperback

Related Products

Popular Trending Products