Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки

Обложка: