Theory and formal methods of computing 94 proceedings of the Second Imperial College Workshop

Библиографические подробности
Корпоративные авторы: Imperial College of Science, Technology, and Medicine (Great Britain). Dept. of Computing, Imperial College Department of Computing Workshop on Theory and Formal Methods
Другие авторы: Hankin, Chris, Mackie, I. (Ian), Nagarajan, R. (Rajagopal)
Формат:
Язык:English
Опубликовано: London Imperial College Press c1995.
Предметы: