Каталог / ТЕХНІЧНІ НАУКИ / Теоретичні основи інформатики
скачать файл:
- Назва:
- Кривчиков Максим Александрович. Формальные модели и верификация свойств программ с использованием промежуточного представления
- ВНЗ:
- Федеральное государственное бюджетное образовательное учреждение высшего образования "Московский государственный университет имени М.В.Ломоносова"
- Короткий опис:
- Кривчиков Максим Александрович. Формальные модели и верификация свойств программ с использованием промежуточного представления: диссертация ... кандидата физико-математических наук: 05.13.17 / Кривчиков Максим Александрович;[Место защиты: Федеральное государственное бюджетное образовательное учреждение высшего образования "Московский государственный университет имени М.В.Ломоносова"], 2015.- 190 с.
- Стоимость доставки:
- 230.00 руб