Все книги автора «Н. В. Заборовский»

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

Математика

Статическое обнаружение гонок в коде, содержащем ветвления и циклы

Математика