Ю. Г. Карпов

Список книг автора Ю. Г. Карпов
1

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

Скачать Model Checking. Верификация параллельных и распределенных программных систем - Ю. Г. Карпов
Название
Model Checking. Верификация параллельных и распределенных программных систем
Автор:
Ю. Г. Карпов
Серия:
Жанр:
Программирование
1