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