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

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.
Предметы:
Computer science > Congresses.