Панков, Сергей Владимирович - Верификация асинхронных параллельных систем на основе L-программ : диссертация ... кандидата физико-математических наук : 05.13.11

Экспресс-заказ фрагмента
Панков, Сергей Владимирович.
Верификация асинхронных параллельных систем на основе L-программ : диссертация ... кандидата физико-математических наук : 05.13.11. - Ростов-на-Дону, 1995. - 154 с.

Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Шифр хранения:
OD 61 96-1/247-2

Marc21

Скачать marc21-запись

Показать

Описание

Автор
ЗаглавиеВерификация асинхронных параллельных систем на основе L-программ : диссертация ... кандидата физико-математических наук : 05.13.11
Коллекции ЕЭК РГБ Каталог диссертаций
Дата поступления в ЕЭК 06.11.1996
Каталоги Диссертации
Выходные данныеРостов-на-Дону, 1995
Физическое описание154 с.
ТемаМатематическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
BBK-кодВ123с31,03
Специальность05.13.11: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
ЯзыкРусский
Места храненияOD 61 96-1/247-2