SciNetwork
  • Библиотека 689
  • Журналы 19
  • Организации 22
    • Научно-исследовательские
    • Образовательные
    • Издательства
    • Библиотеки
    • Репозитории
  • Конференции
  • Блоги 10
  • Сообщество
    • Поиск людей
    • Группы
    • Форум
Вход
Написать
Добавить в контакты

Кондратьев Дмитрий Александрович

Автор
SciID
0000015107
SPIN-код
4318-8908
ОНП
FINITE ITERATION, LOOP INVARIANT, PROGRAM INCORRECTNESS, BUG LOCALIZATION, HOARE LOGIC, DEDUCTIVE VERIFICATION
Заходил
показать
ОНП
FINITE ITERATION, LOOP INVARIANT, PROGRAM INCORRECTNESS, BUG LOCALIZATION, HOARE LOGIC, DEDUCTIVE VERIFICATION
1
статей
0
препринтов
0
диссертаций
0
книг
0
заметок
0
патентов
Постов пока нет

Скоро владелец страницы опубликует здесь свои посты.

Доступ к этим данным разрешён только авторизованным пользователям.
  • О научной сети
  • Пользовательское соглашение
  • Защита авторских прав
  • Cookies
  • Обратная связь
  • Privacy Policy
Права на оригинальные тексты, а также на подбор и расположение материалов принадлежат проекту SciNetwork, © 2016 — 2025
SciNetwork, © 2025
Функция добавления в закладки доступна только авторизованным пользователям. Зарегистрируйтесь или войдите в свой аккаунт.
Функция отправки личных сообщений доступна только авторизованным пользователям. Зарегистрируйтесь или войдите в свой аккаунт.
Функция оценок доступна только для авторизованных пользователей. Зарегистрируйтесь или войдите в свой аккаунт.
Функция добавления в контакты доступна только авторизованным пользователям. Зарегистрируйтесь или войдите в свой аккаунт.