Gurevich Y., Kutter P., Odersky M. — Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (Lecture Notes in Computer Science)
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (Lecture Notes in Computer Science)
Авторы: Gurevich Y., Kutter P., Odersky M.
Аннотация:
Proceedings of the International Workshop, ASM, held in Monte Verita, Switzerland, March 19-24, 2000. The workshop served as a forum on practical and theoretical topics that relate to ASMs and brought together domain-experts and theorists using ASMs in their work. Softcover.
|
|
О проекте