Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings (Lecture Notes in Computer Science (2215), Band 2215)
von:
Benjamin C. Pierce
·
Naoki Kobayashi
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-42736-0
ISBN-10: 3-540-42736-8
Springer
· 2008
