Рецензии на книгу
Заборовский Н. «Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки»