Верификация моделей программ: Model checking
Автор: Кларк Э.М. Мл., Грамберг О, Пелед Д.
Издательство: МЦНМО
Год издания: 2002
Страниц:
ISBN: 5940570542
Аннотация:
В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.В монографии всем
Посмотреть в магазинах:
Другие сервисы поиска:
Книгу "Верификация моделей программ: Model checking" (Кларк Э.М. Мл., Грамберг О, Пелед Д.) можно также попробовать поискать и скачать в бесплатных электронных библиотеках, однако мы рекомендуем пользоваться только официальными сервисами, имеющими соглашения с авторами и издательствами.
|
| (c) KBD.RU |