• Покупка
  • Поступления
  • Доставка
  • Оплата
  • Контакты
  • Отзывы
  • Спецпредложения
  • В Вашей корзине
    пока пусто
    0 на сумму: NaN руб.
    Доставка по всему миру
    (812) 315-07-85 570-40-20

    Верификация моделей программ. Model Checking

    Код в каталоге: № 44426
    книга Верификация моделей программ. Model Checking, Кларк Э.М., Грамберг О., Пелед Д., 978-5-94057-054-7
    Автор:
    Издательство:
    Издательство Московского центра непрерывного математического образования
    Год выпуска:
    2002
    Состояние:
    Очень хорошее
    Место издания:
    Москва
    Количество страниц:
    416
    Переплет:
    Твердый
    Формат:
    Обычный
    ISBN:
    978-5-94057-054-7

    О книге «Верификация моделей программ. Model Checking» Кларк Э.М., Грамберг О., Пелед Д.

    В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.

    Купить книгу «Верификация моделей программ. Model Checking» Кларк Э.М., Грамберг О., Пелед Д. 2002 года
    в книжном интернет-магазине с доставкой по оптимальной цене.
    Если данной книги 978-5-94057-054-7 нет в наличии, то вы можете оставить на нее заявку.
    При появлении этого букинистического издания в продаже, вы получите об этом уведомление по sms и email.

    руб.

    Код в каталоге:
    руб.

    Код в каталоге: