Home
Antiques & Collectibles
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 : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers : 10855 by Fabio Fioravanti - Paperback

AED303.69

(0) Write a Review

SKU:: 9783319944593
UPC:: 9783319944593

Current Stock:

Product Description

ISBN: 9783319944593
TITLE: Logic-Based Program Synthesis and Transformation : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers : 10855
AUTHOR: Fabio Fioravanti
PUBLISHER: Springer International Publishing AG
PUBLISHER DATE: 10 Jul 2018

Other Details

ISBN:

9783319944593

Author:

Fabio Fioravanti

Publisher:

Springer International Publishing AG

Publisher Date:

Published:10 Jul 2018

Book Format:

Paperback

Categories

Quick Links

Selected Currency: AED

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

Product Description

Other Details

Logic-Based Program Synthesis and Transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers : 7844 by Elvira Albert - Paperback

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 : 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 : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers : 3901 by Patricia M. Hill - Paperback

Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers by Hermenegildo Manuel V Hermenegildo - 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

Write a Review

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

Add to Wishlist

Product Description

Other Details

Related Products

Logic-Based Program Synthesis and Transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers : 7844 by Elvira Albert - Paperback

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 : 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 : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers : 3901 by Patricia M. Hill - Paperback

Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers by Hermenegildo Manuel V Hermenegildo - Paperback