Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://hdl.handle.net/11701/11561
Название: | Compiling verified F* programs to robust web applications |
Другие названия: | Компиляция сертифицированных F*-программ в робастные Web-приложения |
Авторы: | Мордвинов Дмитрий Александрович Полубелова Марина Игоревна Polubelova Marina Григорьев Семен Вячеславович Grigorev Semen Viacheslаvovich |
Дата публикации: | 2017 |
URI (Унифицированный идентификатор ресурса): | http://hdl.handle.net/11701/11561 |
Располагается в коллекциях: | MASTER'S STUDIES |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
Marina_Polubelova.pdf | Article | 205,62 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_Otzyv_nauchnogo_rukovoditelya_na_magisterskuyu_dissertaciyu_Polubelovoj_M_I_.pdf | ReviewSV | 88,14 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_stt01969_Mordvinov_Dmitrij_Aleksandrovich_(reviewer)(Ru).txt | ReviewRev | 8,03 kB | Text | Просмотреть/Открыть |
reviewSV_st008961_Grigorev_Semen_Vyacheslavovich_(supervisor)(Ru).txt | ReviewSV | 4,22 kB | Text | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.