Loading...

Справка

Шрифт

Интервал

Цветовая схема

Изображения

Каталог Тверских изобретений

Main navigation

  • Главная
  • Патенты на изобретения
    • Авторы
    • Патентообладатель
  • Патенты на полезные модели
    • Авторы
    • Патентообладатель

G06F 8/00

Строка навигации

  • Главная
  • G06F 8/00

  • СПОСОБ ВЕРИФИКАЦИИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ПО ЕСТЕСТВЕННОЙ СЕМАНТИКЕ ИДЕНТИФИКАТОРОВ ИСХОДНОГО КОДА ПРОГРАММЫ ПРИ СТАТИЧЕСКОМ АНАЛИЗЕ

    19.11.2018
    2672786
    G06F 8/00
    Жидков Роман Евгеньевич (RU)
    Жидков Роман Евгеньевич (RU)

  • СПОСОБ ВЕРИФИКАЦИИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ПО ЕСТЕСТВЕННОЙ СЕМАНТИКЕ ИДЕНТИФИКАТОРОВ ИСХОДНОГО КОДА ПРОГРАММЫ ПРИ СТАТИЧЕСКОМ АНАЛИЗЕ

    19.11.2018
    2672786
    G06F 8/00
    Жидков Роман Евгеньевич (RU)
    Жидков Роман Евгеньевич (RU)

  • СПОСОБ ВЕРИФИКАЦИИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ПО ЕСТЕСТВЕННОЙ СЕМАНТИКЕ ИДЕНТИФИКАТОРОВ ИСХОДНОГО КОДА ПРОГРАММЫ ПРИ СТАТИЧЕСКОМ АНАЛИЗЕ

    19.11.2018
    2672786
    G06F 8/00
    Жидков Роман Евгеньевич (RU)
    Жидков Роман Евгеньевич (RU)


Яндекс.Метрика

© 2026 Тверская областная универсальная научная библиотека им. А.М. Горького - Все права защищены