Vendetta
Администратор
- Регистрация
- 16 Сен 2015
- Сообщения
- 239.633
- Реакции
- 426.072
Методы верификации программ
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.
Книга предназначена для студентов высших учебных заведений, обучающихся по...
СКАЧАТЬ
Зарегистрируйтесь или войдите в свой аккаунт для просмотра данного контента на Big-Money.net
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.
Книга предназначена для студентов высших учебных заведений, обучающихся по...
Зарегистрируйтесь или войдите в свой аккаунт для просмотра данного контента на Big-Money.net
- ПРОДАЖНИКСКАЧАТЬ
Для просмотра скрытого содержимого вы должны зарегистрироваться
Возможно, Вас ещё заинтересует:
- Код вен. Как читать сигналы своих ног и не пропустить опасное [Никос Аледжанов]
- Команды в малом бизнесе: секрет продуктивной работы [Альфа Курс] [Екатерина Бадовская]
- Регистрация бизнеса: самозанятость, ИП или ООО [Альфа Курс]
- Как начать продавать свой продукт: три первых шага [Альфа Курс] [Саша Аксентьева]
- Когнитивно-поведенческая терапия: мастерство и эффективность. Модуль 6 [Тариф Слушатель] [Юлия Горячева, Адриан Уэллс, Аарон Бек]
- Динамика мышц тазового дна в положении сидя. Урок 5 из курса Д. Боуз «Осознавание и здоровье тазового дна» (аудио) [Андрей Анучин]
- Акции: как покупать их на бирже и получать доход [Альфа Курс]
- [Вязание] Norma Blouse — полосатый джемпер спицами из мохера | мягкий базовый пуловер [Вяжи.ру] [My Favourite Things]