Results
Logic-Based Program Synthesis and Transformation
9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers
© 2000
Soft cover - Print (ISBN: 978-3-540-67628-7)
Electronic (ISBN: 978-3-540-45148-8)
View this book on
SpringerLink
Download Product Archive File - 978-3-540-45148-8