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