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 : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers : 7844 by Elvira Albert - Paperback

AED286.44
(0) Write a Review
SKU:
9783642381966
UPC:
9783642381966

Product Description

ISBN: 9783642381966
TITLE: Logic-Based Program Synthesis and Transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers : 7844
AUTHOR: Elvira Albert
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 3 May 2013

Other Details

ISBN:
9783642381966
Author:
Elvira Albert
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publisher Date:
Published:3 May 2013
Book Format:
Paperback

Related Products

Popular Trending Products