Автор: Н. В. Заборовский
Название: Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состо
Категория: Наука, Образование/Математика
Издательство: Синергия
Год выпуска: 2011
Серия: Прикладная информатика. Научные статьи
Тип: book
Описание: В статье проанализирован подход к статическому анализу кода на предмет обнаружения состояний гонки. Он ориентирован на реальные задачи со
Доступна для скачивания после оплаты
