Please use this identifier to cite or link to this item:
http://hdl.handle.net/11701/10716
Title: | Verification thread-safe data structures by controllable synchronisation points |
Other Titles: | Верификация потокобезопасности структур данных с помощью управляемых точек синхронизации |
Authors: | Беляев Михаил Анатольевич Озерцов Александр Сергеевич Ozertsov Alexander Терехов Андрей Николаевич Terekhov Andrei Nikolаevich |
Issue Date: | 2017 |
URI: | http://hdl.handle.net/11701/10716 |
Appears in Collections: | BACHELOR STUDIES |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
dipWork_-_diploma.pdf | Article | 160,33 kB | Adobe PDF | View/Open |
reviewSV_Otzyv_Ozercova.pdf | ReviewSV | 355,33 kB | Adobe PDF | View/Open |
reviewSV_Ozercov_A_S__bak_rec.jpg | ReviewRev | 232,42 kB | JPEG | ![]() View/Open |
reviewSV_Ozercov_A_S__bak_rec_jpg_2.jpg | ReviewRev | 150,63 kB | JPEG | ![]() View/Open |
reviewSV_Ozercov_A_S__bak_rec_jpg_2_jpg_3.pdf | ReviewRev | 222,22 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.