Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 2000 Selected Papers: 10th International ... Notes in Computer Science (2042), Band 2042)

International

von Various

Taschenbuch

EAN=ISBN-13: 978-3-540-42127-6

ISBN-10: 3-540-42127-0

Springer Berlin Heidelberg · 2008