NEWLIB.NET
Главная
Категории
Серии
Авторы
Издательства
Ю. Г. Карпов
Все книги автора Ю. Г. Карпов
1
Model Checking. Верификация параллельных и распределенных программных систем
Ю. Г. Карпов
Подробнее...
1
