Добро пожаловать, Гость! Вы можете войти или зарегистрироваться
Обратная связь
Мой регион
MODEL СHECKING. Верификация параллельных и распределенных программных систем
Ю. Карпов
[Previous]
[далее]
MODEL СHECKING. Верификация параллельных и распределенных программных систем
Заглянуть внутрь
MODEL СHECKING. Верификация параллельных и распределенных программных систем

Ю. Карпов

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

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

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

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

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

Введите код с картинки:

  • 15.72 USD
    14.62 USD
    вы экономите 1.1 USD (7%).
  • В корзину

    включить функцию
    Заказ в 1 клик

  • Наличие на складе:

    Склад в Москве
    Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 23.05.2012; планируемая отправка: 24.05.2012

    Склад в С.-Петербурге
    Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 21.05.2012; планируемая отправка: 22.05.2012