Barringer H. — A Survey of Verification Techniques for Parallel Programs :: Электронная библиотека попечительского совета мехмата МГУ

Авторизация

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

Barringer H. — A Survey of Verification Techniques for Parallel Programs

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

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

Название: A Survey of Verification Techniques for Parallel Programs

Автор: Barringer H.

Язык:

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

ed2k: ed2k stats

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

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

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

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

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

О проекте