catalog / TECHNICAL SCIENCES / Foundations of information science
скачать файл:
- title:
- Кривчиков Максим Александрович. Формальные модели и верификация свойств программ с использованием промежуточного представления
- university:
- Федеральное государственное бюджетное образовательное учреждение высшего образования "Московский государственный университет имени М.В.Ломоносова"
- The year of defence:
- 2015
- brief description:
- Кривчиков Максим Александрович. Формальные модели и верификация свойств программ с использованием промежуточного представления: диссертация ... кандидата физико-математических наук: 05.13.17 / Кривчиков Максим Александрович;[Место защиты: Федеральное государственное бюджетное образовательное учреждение высшего образования "Московский государственный университет имени М.В.Ломоносова"], 2015.- 190 с.
- Стоимость доставки:
- 230.00 руб