книги Компьютеры и Интернет Программирование Методология Алгоритмы

Юрий Александрович Карпов

Отзывы для «MODEL СHECKING. Верификация параллельных и распределенных программных систем» (1)

Александр Бакулин
18 января 2010
Александр Бакулин
0или 0
Прекрасно написанная и очень актуальная книга. Для интересующихся computer science, магистров и аспирантов - обязательно к прочтению. За исключением мелких ошибок, написана безупречно. Изложение строгое, но не требующее особенной матподготовки (хватит программы 1-2 курсов вуза), много примеров.
Ответить

Оставьте отзыв

Для того, чтобы оставить отзыв, необходимо указать Вашу оценку

Оцените книгу:

Нет в продаже