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)

Applications

von Yuri Gurevich

Taschenbuch

ISBN-13: 978-3-540-67959-2

ISBN-10: 3-540-67959-6

Springer · 2000