Полное описание

АР00-4544
Покозий, Е. А. Методы спецификации и верификации параллельных моделей с непрерывным временем : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:05.13.11 / Е. А. Покозий. - Новосибирск : [б. и.], 1999. - 16 с. - Текст : непосредственный.
В надзаг.:Рос. АН, Сибир. отд-ние, Ин-т систем информатики им. А.П.Ершова. Библиогр.:с. 16

ГРНТИ	УДК
50.05.13	004.415.28(043)
	004.415.535(043)

Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)

Заказать издание
Заказ фрагмента документа ₽