Верификация моделей программ. Model Checking, Э. М. Кларк, Д. Пелед, О. Грамберг
Верификация моделей программ. Model Checking, Э. М. Кларк, Д. Пелед, О. Грамберг - рейтинг книги по отзывам читателей, краткое содержание
Автор:
Э. М. Кларк, Д. Пелед, О. Грамберг
Категория:
Математика в школе: алгебра и геометрия, Теория ИТ
Жанр:
Компьютеры и интернет, Учебная литература
Оценка редакции (1-10):
10
О книге
- Model Checking Название в оригинале
- 2002 Год первого издания книги
Краткое содержание
В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.
Купить книгу в книжных интернет-магазинах
Забавное видео
В 2 года родители подарили малышу баскетбольное кольцо и мяч, посмотрите, что умеет этот малыш сейчас!
Кредиты онлайн на карту за 15 минут
от 0,01%
ставка
до 180 дней
макс срок
до 20 000 грн.
макс сумма