А. Г. Тормасов

электронная книга

Моделирование...

Н. Заборовский А. Г. Тормасов

В статье проанализирован подход к статическому анализу кода на предмет обнаружения состояний...

0 отзывов

электронная книга

Моделирование операции...

А. Г. Тормасов Ю. Тименков Д. Тименкова

В статье предлагается математическая модель вычислительной системы, а также способ ее применения....

0 отзывов

электронная книга

Статическое...

Н. Заборовский А. Г. Тормасов

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

0 отзывов

бумажная книга

Параллельное...

А. Г. Тормасов

Предлагаемая книга не является заменой существующим учебникам по традиционному параллельному...

0 отзывов