Logic-Based Program Synthesis and Transformation : 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers by Gabbrielli Maurizio Gabbrielli - Paperback

AED620.00
(0) Write a Review
SKU:
9783030452612
UPC:
9783030452612

Product Description

ISBN: 9783030452612
TITLE: Logic-Based Program Synthesis and Transformation : 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers
AUTHOR: Gabbrielli Maurizio Gabbrielli
PUBLISHER: Springer Nature B.V.
PUBLISHER DATE: 27 Apr 2020

Other Details

ISBN:
9783030452612
Author:
Gabbrielli Maurizio Gabbrielli
Publisher:
Springer Nature B.V.
Publisher Date:
Published:27 Apr 2020
Book Format:
Paperback