Logic-Based Program Synthesis and Transformation : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings by Fernandez Maribel Fernandez - Paperback

Logic-Based Program Synthesis and Transformation : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings by Fernandez Maribel Fernandez - Paperback

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

Product Description

ISBN: 9783030684471
TITLE: Logic-Based Program Synthesis and Transformation : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings
AUTHOR: Fernandez Maribel Fernandez
PUBLISHER: Springer Nature B.V.
PUBLISHER DATE: 18 Feb 2021

Other Details

ISBN:
9783030684471
Author:
Fernandez Maribel Fernandez
Publisher:
Springer Nature B.V.
Publisher Date:
Published:18 Feb 2021
Book Format:
Paperback

Related Products

Popular Trending Products