Электронный каталог


    страница из 2
    всего найдено записей: 34,
      отображать

    Непомнящий В.А. Язык спецификаций распределенных систем Dynamic-REAL / В. А. Непомнящий, Е. В. Бодин, С. О. Веретнов, 2007. - 42 с. - Текст : непосредственный.

    Проблемы теоретического и экспериментального программирования : сборник научных трудов / Институт систем информатики (Новосибирск), 1993. - 182 c. - Текст : непосредственный.

    Черненок С.А. Анализ MSC-диаграмм распределенных систем с помощью раскрашенных сетей Петри / С. А. Черненок, В. А. Непомнящий, 2013. - 61 с. - Текст : непосредственный.

    Семинар "Семантика, спецификация и верификация программ: теория и приложения" : материалы временных коллективов / "Семантика, спецификация и верификация программ: теория и приложения", семинар (2010 ; Казань) , 2010. - 178 с. - Текст : непосредственный.

    Лицевая сторона карточкиОбратная сторона карточки

    Лицевая сторона карточкиОбратная сторона карточки

    Лицевая сторона карточкиОбратная сторона карточки

    Лицевая сторона карточкиОбратная сторона карточки

    Лицевая сторона карточкиОбратная сторона карточки

    Лицевая сторона карточкиОбратная сторона карточки

    Лицевая сторона карточкиОбратная сторона карточки

    Лицевая сторона карточкиОбратная сторона карточки

    Лицевая сторона карточкиОбратная сторона карточки

    Лицевая сторона карточкиОбратная сторона карточки

    Непомнящий В.А. Применение языка Dynamic-REAL для анализа и верификации распределенных систем, специфицированных на языке SDL / В. А. Непомнящий, Е. В. Бодин, С. О. Веретнов, 2012. - 52 с. - Текст : непосредственный.

    Непомнящий В.А. Применение символического метода элиминации инвариантов циклов к верификации программ линейной алгебры / В.А.Непомнящий,Е.А.Мацко, 2003. - 37 с. - Текст : непосредственный.

    Проблемы спецификации и верификации параллельных систем : Сб.науч.тр. / Рос.АН. Сиб.отд-ние. Ин-т систем информатики им. А.П.Ершова, 1995. - 237 с. - Текст : непосредственный.

    Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри / В.А.Непомнящий,Г.И.Алексеев,А.В.Быстров и др.;Под ред.В.А.Непомнящего, Н.В.Шилова, 1998. - 139 с. - Текст : непосредственный.

    Towards C# program verification: a three-level approach / В. А. Непомнящий [и др.], 2005. - 38 p. - Текст : непосредственный.

    Библиотечка электротехника : приложение к журналу "Энергетик". Вып. 9(237) : Надежность оборудования электрических сетей 220-750 кВ энергосистем / В. А. Непомнящий, Л. А. Дарьян, 2018. - 123 с. - Текст : непосредственный.