Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://hdl.handle.net/11701/10716
Название: | Verification thread-safe data structures by controllable synchronisation points |
Другие названия: | Верификация потокобезопасности структур данных с помощью управляемых точек синхронизации |
Авторы: | Беляев Михаил Анатольевич Озерцов Александр Сергеевич Ozertsov Alexander Терехов Андрей Николаевич Terekhov Andrei Nikolаevich |
Дата публикации: | 2017 |
URI (Унифицированный идентификатор ресурса): | http://hdl.handle.net/11701/10716 |
Располагается в коллекциях: | BACHELOR STUDIES |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
dipWork_-_diploma.pdf | Article | 160,33 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_Otzyv_Ozercova.pdf | ReviewSV | 355,33 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_Ozercov_A_S__bak_rec.jpg | ReviewRev | 232,42 kB | JPEG | Просмотреть/Открыть |
reviewSV_Ozercov_A_S__bak_rec_jpg_2.jpg | ReviewRev | 150,63 kB | JPEG | Просмотреть/Открыть |
reviewSV_Ozercov_A_S__bak_rec_jpg_2_jpg_3.pdf | ReviewRev | 222,22 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.