Книга Э. М. Кларк, О. Грамберг, Д. Пелед - Верификация моделей программ. Model Checking скачать бесплатно
Название: Верификация моделей программ. Model Checking
Автор: Э. М. Кларк, О. Грамберг, Д. Пелед Верификация моделей программ. Model Checking Model Checking
Издательство: МЦНМО
Год: 2002
Страниц: 416
Формат: DJVU, OCR
Размер: 4.59 MB (4,821,327 bytes)
ISBN: 5-94057-054-2, 978-5-94057-054-7
Качество: Отличное
Язык: Русский
От издателя
В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем
От меня
Тираж 1000 экземпляров. Полезная книга, рекомендованная профессором Шалыто
Автор: Э. М. Кларк, О. Грамберг, Д. Пелед Верификация моделей программ. Model Checking Model Checking
Издательство: МЦНМО
Год: 2002
Страниц: 416
Формат: DJVU, OCR
Размер: 4.59 MB (4,821,327 bytes)
ISBN: 5-94057-054-2, 978-5-94057-054-7
Качество: Отличное
Язык: Русский
От издателя
В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем
От меня
Тираж 1000 экземпляров. Полезная книга, рекомендованная профессором Шалыто
Внимание! У Вас нет прав для просмотра скрытого текста.
Похожие книги
Model Checking. Верификация параллельных и распределенных программных систем.
программирование
программирование
Наименование: Model Checking. Верификация параллельных и распределенных программных систем. Создатель: Ю. Г. Карпов Издательство: БХВ-Петербург. Дата...
Fly Model №132 Mack Super Liner
увлечения, хобби, досуг
увлечения, хобби, досуг
Название: Fly Model #132 Mack Super Liner Автор: Gomix Издательство: Gomix Год: 2001 Страниц: 22 Формат: JPG ...
Hobby Model №87
увлечения, хобби, досуг
увлечения, хобби, досуг
Название: Ту - 160 Автор: Viking74 Издательство: Hobby Model Год: 2005 Страниц: 50 Формат: jpg Размер: 42.83mb ...
Журнал бумажных моделей Modelik
увлечения, хобби, досуг
увлечения, хобби, досуг
Название: Modelik 1997 Автор: Modelik Издательство: Model Card Год: 1997 Формат: JPG Размер: 140 mb Качество: хорошее Язык: Польский Журнал...
Комментарии 9