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