Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (Lecture ... Notes in Computer Science (1912), Band 1912)
von
Yuri Gurevich
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-67959-2
ISBN-10: 3-540-67959-6
Springer
· 2000