Home
Antiques & Collectibles
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

AED303.69

(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

Categories

Quick Links

Selected Currency: AED

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

Product Description

Other Details

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

Logic-Based Program Synthesis and Transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers : 8981 by Maurizio Proietti - Paperback

Logic-Based Program Synthesis and Transformation : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers : 10855 by Fabio Fioravanti - Paperback

Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers : 6037 by Danny De Schreye - Paperback

Logic-Based Program Synthesis and Transformation : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings : 14330 by Robert Gluck - 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

Write a Review

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

Add to Wishlist

Product Description

Other Details

Related Products

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

Logic-Based Program Synthesis and Transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers : 8981 by Maurizio Proietti - Paperback

Logic-Based Program Synthesis and Transformation : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers : 10855 by Fabio Fioravanti - Paperback

Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers : 6037 by Danny De Schreye - Paperback

Logic-Based Program Synthesis and Transformation : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings : 14330 by Robert Gluck - Paperback