Megan
Администратор
- Регистрация
- 20 Фев 2015
- Сообщения
- 168.620
- Реакции
- 345.913
Методы верификации программ
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.
Книга предназначена для студентов высших учебных заведений, обучающихся по...
СКАЧАТЬ
Зарегистрируйтесь или войдите в свой аккаунт для просмотра данного контента на infokursy.com
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.
Книга предназначена для студентов высших учебных заведений, обучающихся по...
Зарегистрируйтесь или войдите в свой аккаунт для просмотра данного контента на infokursy.com
- ПРОДАЖНИКСКАЧАТЬ
Для просмотра скрытого содержимого вы должны зарегистрироваться
Возможно, Вас ещё заинтересует:
- Подписка на аналитику (с ноябрь 2026) [Владимир Левченко]
- Анатомия ссоры. Как переводить конфликты с языка драмы на язык решений [Мария Козырева]
- Энергетическая карецца: как сделать так, чтобы каждая жена была без ума от своего мужа в сексуальном плане (часть 2 из 2) [Стэнли С. Басс]
- [Машинное вязание] Свитер на молнии [Татьяна Макаренко]
- Планерка (октябрь 2026) [Александр Литвин]
- Идеальный момент. Искусство замедления времени [Елена Корнилова]