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

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

    Ануреев И.С. Теория систем переписывания формул / И. С. Ануреев, 1998. - 35 с. - Текст : непосредственный.

    Молодая информатика : сборник / Институт систем информатики им. А. П. Ершова (Новосибирск), 2005. - 122 с. - Текст : непосредственный.

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

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

    Ануреев И.С. Упрощающие процедуры для типов данных, основанные на системах переписывания формул / И.С.Ануреев, 1998. - 43 с. - Текст : непосредственный.

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

    Ануреев И.С. Системы переходов, ориентированные на разработку средств спецификации и верификации программных систем / И.С. Ануреев, 2012. - 28 с. - Текст : непосредственный.

    На пути к верификации С-программ. Ч.2 Язык C-light-kernel и его аксиоматическая семантика / В.А.Непомнящий,И.С.Ануреев,И.Н.Михайлов,А.В.Промский, 2001. - 57 с. - Текст : непосредственный.

    Ануреев И.С. Язык Atoment: стандартная библиотека / И.С. Ануреев, 2010. - 31 с. - Текст : непосредственный.

    Ануреев И.С. Системы переписывания формул и их применение в автоматической верификации программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / И. С. Ануреев, 1998. - 19 с. - Текст : непосредственный.

    Ануреев И.С. Язык ATOMENT: синтаксис и семантика / И. С. Ануреев, 2010. - 38 с. - Текст : непосредственный.

    Ануреев И.С. Система машинной поддержки доказательства: от тактикалов к генератору тактикалов / И.С.Ануреев, 2002. - 29 с. - Текст : непосредственный.

    Ануреев И.С. Концептуальный базис трехуровневого метода верификации C# программ / И. С. Ануреев, 2013. - 42 с. - Текст : непосредственный.

    Ануреев И.С. Применение систем переписывания формул в автоматической верификации программ / И.С.Ануреев, 1998. - 47 с. - Текст : непосредственный.

    На пути к верификации С-программ / В.А.Непомнящий,И.С.Ануреев,И.Н.Михайлов,А.В.Промский, 2002. - 82 с. - Текст : непосредственный.

    Ануреев И.С. Системы переписывания формул / И.С.Ануреев, 1997. - 22 с. - Текст : непосредственный.

    Молодая информатика : сб. тр. аспирантов и молодых ученых / Ин-т систем информатики им. А. П. Ершова, 2006. - 122 с. - Текст : непосредственный.

    Ануреев И.С. USL-the language of natural state machines / И.С. Ануреев, 2004. - 25 p. - Текст : непосредственный.