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

Верификация моделей программ. Model Checking, Э. М. Кларк, Д. Пелед, О. Грамберг - рейтинг книги по отзывам читателей, краткое содержание

Автор:

Э. М. Кларк, Д. Пелед, О. Грамберг

Категория:

Математика в школе: алгебра и геометрия, Теория ИТ

Жанр:

Компьютеры и интернет, Учебная литература

Оценка редакции (1-10):

10

О книге

  • Model Checking Название в оригинале
  • 2002 Год первого издания книги

Краткое содержание

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

Купить книгу в книжных интернет-магазинах



Забавное видео

В 2 года родители подарили малышу баскетбольное кольцо и мяч, посмотрите, что умеет этот малыш сейчас!


Нужны деньги до зарплаты?

более 30 сервисов

Кредиты онлайн на карту за 15 минут

от 0,01%

ставка

до 180 дней

макс срок

до 20 000 грн.

макс сумма