Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers (Lecture Notes in Computer Science (1559), Band 1559)
von
Pierre Flener
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-65765-1
ISBN-10: 3-540-65765-7
Springer
· 2008