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

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

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

Product Description

ISBN: 9783030452599
TITLE: Logic-Based Program Synthesis and Transformation : 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8???10, 2019, Revised Selected Papers : 12042
AUTHOR: Maurizio Gabbrielli
PUBLISHER: Springer Nature Switzerland AG
PUBLISHER DATE: 22 Apr 2020

Other Details

ISBN:
9783030452599
Author:
Maurizio Gabbrielli
Publisher:
Springer Nature Switzerland AG
Publisher Date:
Published:22 Apr 2020
Book Format:
Paperback

Related Products

Popular Trending Products