Hutter D. (ed.), Stephan W. (ed.), Traverse P. (ed.) — Applied formal methods - FM-Trends 98 :: Электронная библиотека попечительского совета мехмата МГУ

Авторизация

Поиск по указателям

Hutter D. (ed.), Stephan W. (ed.), Traverse P. (ed.) — Applied formal methods - FM-Trends 98

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Applied formal methods - FM-Trends 98

Авторы: Hutter D. (ed.), Stephan W. (ed.), Traverse P. (ed.)

Аннотация:

International Workshop on Current Trends
in Applied Formal Methods
Boppard, Germany, October 7-9, 1998
Proceedings

Язык:

Рубрика: Computer science/

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Год издания: 1999

Количество страниц: 379

Добавлена в каталог: 10.02.2011

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

О проекте