Logic Based Program Synthesis and Transformation : 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers : 2042 by Kung-Kiu Lau - Paperback

Logic Based Program Synthesis and Transformation : 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers : 2042 by Kung-Kiu Lau - Paperback

AED303.69
(0) Write a Review
SKU:
9783540421276
UPC:
9783540421276

Product Description

ISBN: 9783540421276
TITLE: Logic Based Program Synthesis and Transformation : 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers : 2042
AUTHOR: Kung-Kiu Lau
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 1 May 2001

Other Details

ISBN:
9783540421276
Author:
Kung-Kiu Lau
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publisher Date:
Published:1 May 2001
Book Format:
Paperback

Related Products

Popular Trending Products