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

Вы ознакомились с фрагментом книги.

Для бесплатного чтения открыта только часть текста.

Приобретайте полный текст книги у нашего партнера: