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

AED0.00
(0) Write a Review
SKU:
9783540326540
UPC:
9783540326540

Product Description

ISBN: 9783540326540
TITLE: Logic Based Program Synthesis and Transformation : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers : 3901
AUTHOR: Patricia M. Hill
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 23 Mar 2006

Other Details

ISBN:
9783540326540
Author:
Patricia M. Hill
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publisher Date:
Published:23 Mar 2006
Book Format:
Paperback