Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected ... Notes in Computer Science (2664), Band 2664)
von
M. Leuschel
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-40438-5
ISBN-10: 3-540-40438-4
Springer
· 2008
