- Регистрация
- 8 Сен 2016
- Сообщения
- 484.879
- Реакции
- 268.201
Методы верификации программ
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.
Книга предназначена для студентов высших учебных заведений, обучающихся по...
СКАЧАТЬ
Вам необходимо зарегистрироваться для просмотра скрытого контента
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.
Книга предназначена для студентов высших учебных заведений, обучающихся по...
Вам необходимо зарегистрироваться для просмотра скрытого контента
- ПРОДАЖНИКСКАЧАТЬ
Для просмотра скрытого содержимого вы должны зарегистрироваться
Возможно, Вас ещё заинтересует:
- Фестиваль Infinitum 7 - Исток [Тариф Афина] [AstroGeo]
- Кредитки Pro 11.10.2024 [glav-invest]
- Активное долголетие [Тариф 2] [Юлия Крушанова]
- Как для омоложения и долголетия превратить страх,боль,стресс в ресурс для расширения своих возможностей [Хасай Алиев]
- Договорное право: актуальные проблемы, судебная практика, эффективная договорная работа [М-Логос] [Роман Бевзенко, Артем Карапетов, Сергей Сарбаш]
- Сахар в питании: можно и не страшно [Светлана Бронникова]
- Экспертиза в арбитражном и гражданском процессах [М-Логос] [Марина Жижина]
- [Аудиокниги] Ленивая скотина – 2: Волшебный пендель [Александр Молчанов] + 11 правил успеха [Сергей Копытцов]