Ю. Г. Карпов

Название: Model Checking. Верификация параллельных и распределенных программных систем

Автор: Ю. Г. Карпов

Серия:

Жанр: Программирование

Поробнее