Панков, Сергей Владимирович - Верификация асинхронных параллельных систем на основе L-программ : автореферат дис. ... кандидата физико-математических наук : 05.13.11; 05.13.16
Карточка
Экспресс-заказ фрагмента
Панков, Сергей Владимирович.
Верификация асинхронных параллельных систем на основе L-программ : автореферат дис. ... кандидата физико-математических наук : 05.13.11; 05.13.16 / Ростов. гос. ун-т. - Ростов-на-Дону, 1995. - 25 с.
Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Шифр хранения:
Верификация асинхронных параллельных систем на основе L-программ : автореферат дис. ... кандидата физико-математических наук : 05.13.11; 05.13.16 / Ростов. гос. ун-т. - Ростов-на-Дону, 1995. - 25 с.
Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Шифр хранения:
FB 9 96-1/3518-7
FB 9 96-1/3519-5
Описание
Автор | Панков, Сергей Владимирович |
---|---|
Заглавие | Верификация асинхронных параллельных систем на основе 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 | |
Электронный адрес | Электронный ресурс |