Електронний каталог науково-технічної бібліотеки ІФНТУНГ

          Харченко, В. С.
    Оценка верификации критического программного обеспечения: критерии, модели и реализация [Текст] / В. С. Харченко, С. А. Вилкомир
    // Управляющие системы и машины. – 2003. – №6. – С.60-68.



            


Є складовою частиною документа Управляющие системы и машины [Текст] : междунар. науч. журн. – 2003. – №6. – 96 c. – У фонді НТБ відсутній.







Український Фондовий Дім Інформаційно-пошукова система
'УФД/Бібліотека'