Home
Antiques & Collectibles
Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers : 8901 by Gopal Gupta - Paperback

Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers : 8901 by Gopal Gupta - Paperback

AED274.94

(0) Write a Review

SKU:: 9783319141244
UPC:: 9783319141244

Current Stock:

Product Description

ISBN: 9783319141244
TITLE: Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers : 8901
AUTHOR: Gopal Gupta
PUBLISHER: Springer International Publishing AG
PUBLISHER DATE: 22 Dec 2014

Other Details

ISBN:

9783319141244

Author:

Gopal Gupta

Publisher:

Springer International Publishing AG

Publisher Date:

Published:22 Dec 2014

Book Format:

Paperback

Categories

Quick Links

Selected Currency: AED

Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers : 8901 by Gopal Gupta - Paperback

Product Description

Other Details

Logic Based Program Synthesis and Transformation : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers : 2664 by M. Leuschel - 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 : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers : 5438 by Michael Hanus - 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 : 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 : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers : 8901 by Gopal Gupta - Paperback

Write a Review

Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers : 8901 by Gopal Gupta - Paperback

Add to Wishlist

Product Description

Other Details

Related Products

Logic Based Program Synthesis and Transformation : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers : 2664 by M. Leuschel - 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 : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers : 5438 by Michael Hanus - 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 : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers : 8981 by Maurizio Proietti - Paperback