Model Checking. Верификация параллельных и распределенных программных систем
Ю. Г. Карпов
0
0
399
руб.
Купить
Отложить
Читать отрывок