Rewriting Techniques and Applications: 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings (Lecture Notes in Computer Science (1103), Band 1103)
von
Harald Ganzinger
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-61464-7
ISBN-10: 3-540-61464-8
Springer
· 2008
