Покозий, Екатерина Александровна. - Методы спецификации и верификации параллельных моделей с непрерывным временем : автореферат дис. ... кандидата физико-математических наук : 05.13.11. - Новосибирск, 1999. - 16 с.

Экспресс-заказ фрагмента
Покозий, Екатерина Александровна.
Методы спецификации и верификации параллельных моделей с непрерывным временем : автореферат дис. ... кандидата физико-математических наук : 05.13.11. - Новосибирск, 1999. - 16 с.

Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Шифр хранения:
FB 9 01-4/3566-0

Marc21

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

Показать

Описание

Автор
ЗаглавиеМетоды спецификации и верификации параллельных моделей с непрерывным временем : автореферат дис. ... кандидата физико-математических наук : 05.13.11
Коллекции ЭК РГБ Каталог авторефератов диссертаций
Дата поступления в ЭК РГБ 05.11.1999
Каталоги Авторефераты диссертаций
Выходные данныеНовосибирск, 1999
Физическое описание16 с.
ТемаМатематическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
BBK-кодЗ973.202-016.3с11,0
Специальность05.13.11: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
ЯзыкРусский
Места храненияFB 9 01-4/3566-0