Н. В. Заборовский - список книг

Математика

Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки (из серии Прикладная информатика. Научные статьи)
Статическое обнаружение гонок в коде, содержащем ветвления и циклы (из серии Прикладная информатика. Научные статьи)