MPG.eBooks - Search Results - %22Italy%22

Cover Image

1

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

by Bossi, Annalisa
Published 2000

Springer Berlin Heidelberg

Cover Image

2

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

Published 2000

Springer Berlin Heidelberg

“... synthesis and transformation (LOPSTR’99) which was held in Venice (Italy), September 22-24, 1999...”