• ВХОД
  •  

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

    Каширин, И. Ю. Методы формального анализа инструментальных систем программного обеспечения ЭВМ на основе теории унификации : автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.11 / И. Ю. Каширин. - М., 1997. - 39 с. : ил. - Текст : непосредственный.
    В надзаг. : Науч.-информ.центр пробл.интеллект.собственности при М-ве общ.и проф.образования Рос.Федерации,Ряз.гос.радиотехн.акад.Библиогр.:с. 31-35 (52 назв.)

    ГРНТИ УДК
    50.41004.4'23(043)

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

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



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