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