Home
Antiques & Collectibles
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 : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers : 8981 by Maurizio Proietti - Paperback

AED303.69

(0) Write a Review

SKU:: 9783319178219
UPC:: 9783319178219

Product Description

ISBN: 9783319178219
TITLE: Logic-Based Program Synthesis and Transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers : 8981
AUTHOR: Maurizio Proietti
PUBLISHER: Springer International Publishing AG
PUBLISHER DATE: 4 May 2015

Other Details

ISBN:

9783319178219

Author:

Maurizio Proietti

Publisher:

Springer International Publishing AG

Publisher Date:

Published:4 May 2015

Book Format:

Paperback

Categories

Quick Links

Selected Currency: AED

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

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 : 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 Program Synthesis and Transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings : 1048 by Maurizio Proietti - 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

Write a Review

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

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 : 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 Program Synthesis and Transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings : 1048 by Maurizio Proietti - Paperback