Найти:

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

Автор

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

библиотека

конференции

контакты

Работы Кондратьева Д. А.: новые поступления

ЛОГИКА ДЛЯ СУЖДЕНИЙ ОБ ОШИБКАХ В ЦИКЛАХ …

Библиотека Кондратьева Д. А.: новые поступления

ЛОГИКА ДЛЯ СУЖДЕНИЙ ОБ ОШИБКАХ В ЦИКЛАХ …

Постов пока нет

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