Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://hdl.handle.net/11701/10716
Название: Verification thread-safe data structures by controllable synchronisation points
Другие названия: Верификация потокобезопасности структур данных с помощью управляемых точек синхронизации
Авторы: Озерцов Александр Сергеевич
Ozertsov Alexander
Дата публикации: 2017
URI (Унифицированный идентификатор ресурса): http://hdl.handle.net/11701/10716
Располагается в коллекциях:BACHELOR STUDIES



Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.