Logic Based Program Synthesis and Transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers : 3573 by Sandro Etalle - Paperback

Logic Based Program Synthesis and Transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers : 3573 by Sandro Etalle - Paperback

SAR310.28
(0) Write a Review
SKU:
9783540266556
UPC:
9783540266556

Product Description

ISBN: 9783540266556
TITLE: Logic Based Program Synthesis and Transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers : 3573
AUTHOR: Sandro Etalle
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 24 Jun 2005

Other Details

ISBN:
9783540266556
Author:
Sandro Etalle
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publisher Date:
Published:24 Jun 2005
Book Format:
Paperback

Related Products

Popular Trending Products