электронная книга
В статье проанализирован подход к статическому анализу кода на предмет обнаружения состояний...
электронная книга
В статье предлагается математическая модель вычислительной системы, а также способ ее применения....
электронная книга
Поиск состояний гонки для современных программ со сложной архитектурой – актуальная задача. В...
бумажная книга
Предлагаемая книга не является заменой существующим учебникам по традиционному параллельному...