Home
Antiques & Collectibles
Logic-Based Program Synthesis and Transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers : 1817 by Annalisa Bossi - Paperback

Logic-Based Program Synthesis and Transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers : 1817 by Annalisa Bossi - Paperback

AED303.69

(0) Write a Review

SKU:: 9783540676287
UPC:: 9783540676287

Current Stock:

Product Description

ISBN: 9783540676287
TITLE: Logic-Based Program Synthesis and Transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers : 1817
AUTHOR: Annalisa Bossi
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 7 Jun 2000

Other Details

ISBN:

9783540676287

Author:

Annalisa Bossi

Publisher:

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Publisher Date:

Published:7 Jun 2000

Book Format:

Paperback

Categories

Quick Links

Selected Currency: AED

Logic-Based Program Synthesis and Transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers : 1817 by Annalisa Bossi - Paperback

Product Description

Other Details

Logic Based Program Synthesis and Transformation : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers : 2664 by M. Leuschel - Paperback

Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers : 6037 by Danny De Schreye - Paperback

Logic-Based Program Synthesis and Transformation : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers : 4407 by German Puebla - Paperback

Logic-Based Program Synthesis and Transformation : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings by Fernandez Maribel Fernandez - Paperback

Logic-Based Program Synthesis and Transformation : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers : 1559 by Pierre Flener - Paperback

Logic-Based Program Synthesis and Transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers : 1817 by Annalisa Bossi - Paperback

Write a Review

Logic-Based Program Synthesis and Transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers : 1817 by Annalisa Bossi - Paperback

Add to Wishlist

Product Description

Other Details

Related Products

Logic Based Program Synthesis and Transformation : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers : 2664 by M. Leuschel - Paperback

Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers : 6037 by Danny De Schreye - Paperback

Logic-Based Program Synthesis and Transformation : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers : 4407 by German Puebla - Paperback

Logic-Based Program Synthesis and Transformation : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings by Fernandez Maribel Fernandez - Paperback

Logic-Based Program Synthesis and Transformation : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers : 1559 by Pierre Flener - Paperback