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

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

Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Шифр хранения:
FB 9 96-1/3518-7
FB 9 96-1/3519-5

Marc21

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

Показать

Описание

Автор
ЗаглавиеВерификация асинхронных параллельных систем на основе L-программ : автореферат дис. ... кандидата физико-математических наук : 05.13.11; 05.13.16
Коллекции ЕЭК РГБ Каталог авторефератов диссертаций
Коллекции ЭБ Авторефераты
Дата поступления в ЕЭК 21.11.1996
Дата поступления в ЭБ 12.10.2007
Каталоги Авторефераты диссертаций
Сведения об ответственностиРостов. гос. ун-т
Выходные данныеРостов-на-Дону, 1995
Физическое описание25 с.
ТемаМатематическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
BBK-кодВ123с31,03
З973.202-016.3,0
Специальность05.13.11: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
ЯзыкРусский
Места храненияFB 9 96-1/3518-7
FB 9 96-1/3519-5
Электронный адрес Электронный ресурс