Книги автора «Юрий Глебович Карпов»

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