Кривчиков, Максим Александрович. - Формальные модели и верификация свойств программ с использованием промежуточного представления : диссертация ... кандидата физико-математических наук : 05.13.17 / Кривчиков Максим Александрович; [Место защиты: Московский гос. ун-т им. М. В. Ломоносова]. - Москва, 2015. - с. : ил.

Экспресс-заказ фрагмента
Кривчиков, Максим Александрович.
Кривчиков, Максим Александрович.
Формальные модели и верификация свойств программ с использованием промежуточного представления : диссертация ... кандидата физико-математических наук : 05.13.17 / Кривчиков Максим Александрович; [Место защиты: Московский гос. ун-т им. М. В. Ломоносова]. - Москва, 2015. - с. : ил.

Теоретические основы информатики
Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Автоматизация. Оптимизация программного обеспечения

Marc21

Скачать marc21-запись

Показать

Описание

Автор
ЗаглавиеФормальные модели и верификация свойств программ с использованием промежуточного представления : диссертация ... кандидата физико-математических наук : 05.13.17
Коллекции ЭК РГБ Каталог диссертаций
Коллекции ЭБ РГБ Диссертации
Дата поступления в ЭК РГБ 30.12.2019
Дата поступления в ЭБ РГБ 15.11.2019
Каталоги Диссертации
Сведения об ответственностиКривчиков Максим Александрович; [Место защиты: Московский гос. ун-т им. М. В. Ломоносова]
Выходные данныеМосква, 2015
Физическое описаниес. : ил.
ТемаТеоретические основы информатики
Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Автоматизация. Оптимизация программного обеспечения
Специальность05.13.17: Теоретические основы информатики
ЯзыкРусский
Электронный адрес Электронный ресурс