Please use this identifier to cite or link to this item:
Title: Verification thread-safe data structures by controllable synchronisation points
Other Titles: Верификация потокобезопасности структур данных с помощью управляемых точек синхронизации
Authors: Беляев Михаил Анатольевич
Озерцов Александр Сергеевич
Ozertsov Alexander
Терехов Андрей Николаевич
Terekhov Andrei Nikolаevich
Issue Date: 2017
Appears in Collections:BACHELOR STUDIES

Files in This Item:
File Description SizeFormat 
dipWork_-_diploma.pdfArticle160,33 kBAdobe PDFView/Open
reviewSV_Otzyv_Ozercova.pdfReviewSV355,33 kBAdobe PDFView/Open
reviewSV_Ozercov_A_S__bak_rec.jpgReviewRev232,42 kBJPEGThumbnail
reviewSV_Ozercov_A_S__bak_rec_jpg_2.jpgReviewRev150,63 kBJPEGThumbnail
reviewSV_Ozercov_A_S__bak_rec_jpg_2_jpg_3.pdfReviewRev222,22 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.