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

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

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

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): АР00-4544)

Шифр в сводном ЭК: 969fbc201c6ae6623133f09a5a038d2c

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