Панков, Сергей Владимирович - Верификация асинхронных параллельных систем на основе L-программ : автореферат дис. ... кандидата физико-математических наук : 05.13.16
Карточка
Экспресс-заказ фрагмента
Панков, Сергей Владимирович.
Верификация асинхронных параллельных систем на основе L-программ : автореферат дис. ... кандидата физико-математических наук : 05.13.16 / Ростов. гос. ун-т. - Ростов-на-Дону, 1996. - 25 с.
Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях ( по отраслям наук )
Шифр хранения:
Верификация асинхронных параллельных систем на основе L-программ : автореферат дис. ... кандидата физико-математических наук : 05.13.16 / Ростов. гос. ун-т. - Ростов-на-Дону, 1996. - 25 с.
Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях ( по отраслям наук )
Шифр хранения:
FB 9 97-3/1973-6
FB 9 97-3/1974-4
Описание
Автор | Панков, Сергей Владимирович |
---|---|
Заглавие | Верификация асинхронных параллельных систем на основе L-программ : автореферат дис. ... кандидата физико-математических наук : 05.13.16 |
Коллекции ЭК РГБ | Каталог авторефератов диссертаций |
Коллекции ЭБ РГБ | Авторефераты |
Дата поступления в ЭК РГБ | 02.12.1997 |
Дата поступления в ЭБ РГБ | 19.09.2007 |
Каталоги | Авторефераты диссертаций |
Сведения об ответственности | Ростов. гос. ун-т |
Выходные данные | Ростов-на-Дону, 1996 |
Физическое описание | 25 с. |
Тема | Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях ( по отраслям наук ) |
BBK-код | З973.2-018-5-05,0 |
Язык | Русский |
Места хранения | FB 9 97-3/1973-6 |
FB 9 97-3/1974-4 | |
Электронный адрес | Электронный ресурс |