Добро пожаловать в клуб

Показать / Спрятать  Домой  Новости Статьи Файлы Форум Web ссылки F.A.Q. Логобург    Показать / Спрятать

       
Поиск   
Главное меню
ДомойНовостиСтатьиПостановка звуковФайлыКнижный мирФорумСловарьРассылкаКаталог ссылокРейтинг пользователейЧаВо(FAQ)КонкурсWeb магазинКарта сайта

Поздравляем!
Поздравляем нового Логобуржца Olgsko со вступлением в клуб!

Реклама

КНИЖНЫЙ МИР

Верификация моделей программ. Model Checking   Э. М. Кларк, О. Грамберг, Д. Пелед

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

60x90/16 416 страниц. 2002 год.
МЦНМО
В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.
 
- Генерация страницы: 0.05 секунд -