Advances in theory and formal methods of computing : proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996

Сохранить в:
Библиографические подробности
Корпоративные авторы: Imperial College of Science, Technology and Medicine. Department of Computing, Imperial College Department of Computing Workshop on Theory and Formal Methods
Другие авторы: Edalat, Abbas, Jourdan, Sofia, McCusker, Guy
Формат: Материалы конференции
Язык:English
Опубликовано: London : Imperial Collge Press 1996
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!