Logic-Based Program Synthesis and Transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers by Vidal German Vidal - Paperback

Logic-Based Program Synthesis and Transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers by Vidal German Vidal - Paperback

AED620.00
(0) Write a Review
SKU:
9783642322129
UPC:
9783642322129

Product Description

ISBN: 9783642322129
TITLE: Logic-Based Program Synthesis and Transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
AUTHOR: Vidal German Vidal
PUBLISHER: Springer Nature B.V.
PUBLISHER DATE: 27 Jul 2012

Other Details

ISBN:
9783642322129
Author:
Vidal German Vidal
Publisher:
Springer Nature B.V.
Publisher Date:
Published:27 Jul 2012
Book Format:
Paperback

Related Products

Popular Trending Products