- Регистрация
- 8 Сен 2016
- Сообщения
- 564.771
- Реакции
- 269.199
Методы верификации программ
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.
Книга предназначена для студентов высших учебных заведений, обучающихся по...
СКАЧАТЬ
Вам необходимо зарегистрироваться для просмотра скрытого контента
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.
Книга предназначена для студентов высших учебных заведений, обучающихся по...
Вам необходимо зарегистрироваться для просмотра скрытого контента
- ПРОДАЖНИКСКАЧАТЬ
Для просмотра скрытого содержимого вы должны зарегистрироваться
Возможно, Вас ещё заинтересует:
- Как продавать съемки: искусство переговоров [Игорь Цаплин]
- Контент-Заводы Будущего [Тариф Максимум] [Академия Интернет-маркетинга] [Евгений Андрианов]
- Нейроконцентрат : Большое AI-Обновление [Тариф VIP] [Дмитрий Ледовских]
- [Лепка] Миниатюрная Веранда [Yum-yum miniatures] [Анна Тысяцкая]
- Деньги. Обеспеченная жизнь [PSY-инженерия] [Марта Николаева-Гарина]
- Закрытая группа Центра практика (октябрь 2026) [practicebox] [Анна Селиверстова, Ольга Миллер, Калинина Кристина]
- Ланчбоксы: идеи блюд на 30 дней [Klaudia Tobiasz] + Ланчбоксы: 60 новых рецептов для ланчбокса [Joanna Anger, Anna Piszczek]
- Практик трансформационных гипнотических путешествий, часть 01 из 10 (2026) [Игорь Ледоховский]