Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers (Lecture Notes in Computer Science (1817), Band 1817)

International

von Annalisa Bossi

Taschenbuch

ISBN: 978-3-540-67628-7

ISBN-10: 3-540-67628-7

Springer · 2008