Annalisa Bossi: Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers
____________________________
Author: Annalisa Bossi
Number of Pages: 312 pages
Published Date: 01 Jul 2000
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Publication Country: Berlin, Germany
Language: English
ISBN: 9783540676287
Download Link: Click Here
____________________________