Панков, Сергей Владимирович. - Верификация асинхронных параллельных систем на основе L-программ : автореферат дис. ... кандидата физико-математических наук : 05.13.16 / Ростов. гос. ун-т. - Ростов-на-Дону, 1996. - 25 с.
Карточка
Экспресс-заказ фрагмента
Панков, Сергей Владимирович.
Верификация асинхронных параллельных систем на основе 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 | |
| Электронный адрес | Электронный ресурс |
