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

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

Автор:
Издательство: Издательство Московского центра непрерывного математического образования
Год выпуска:
Состояние: Очень хорошее
Место издания: Москва
Количество страниц: 416
Переплет: Твердый
Формат: Обычный
ISBN: 978-5-94057-054-7
НЕТ В НАЛИЧИИ
Описание
В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.

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

Хотите продать книги?
Хотите продать
книги?

звоните нам

+7 (812) 312-15-70

Хотите продать книги?
Подписка на обновления