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