Рецензии на книгу
Карпов Ю. «Model Checking. Верификация параллельных и распределенных программных систем»