Название: Верификация автоматных программ
Автор: Вельдер С. Э., Лукин М. А., Шалыто А. А., Яминов Б. Р.
Издательство: Наука
Страниц: 244
Формат: PDF
Размер: 3.27 Мб
Качество: Отличное
Язык: Русский
Год издания: 2011
ISBN: 978-5-02-038160-5
В учебном пособии рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации.
Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных объектов управления и могут быть весьма эффективно верифицированы указанным методом. Математический аппарат и прикладные инструменты данной области позволяют создавать качественное программное обеспечение для ответственных систем и получать надежные подтверждения их правильности. Учебное пособие посвящено концепциям, алгоритмам и инструментам для проверки моделей программ. В нем излагаются теоретические вопросы проверки моделей, вводятся различные спецификационные формализмы и описываются алгоритмы проверки моделей для спецификаций, выраженных в этих формализмах. Алгоритмы проверки моделей демонстрируются на примерах конкретных инструментальных средств.
Рейтинг: | 4.8 баллов / 2537 оценок |
Формат: | Книга |
Уже скачали: | 12743 раз |
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
Hundreds of color photos Free pocket map inside,plus easy-to-read maps throughout Exact prices, directions, opening hours,and other practical information Candid reviews of hotels and restaurants,plus . . .
Двое английских художника и учителя акварели, Дэвид Тэйлор и Рон Рэнсон, объединили свои усилия для создания уникальной книги, которой удается разрушить главные барьеры для начинающих акварелистов – н . . .
Название: Samsung. Схемы и сервис-мануалы мобильных телефонов (260 моделей)Автор: КоллективИздательство: SamsungГод: 2000 - 2010Формат: PDFРазмер: 1,34 ГбКачество: ХорошееЯзык: РусскийСхемы и сервис-м . . .
Название: Sony-Ericsson. Схемы и сервис-мануалы мобильных телефонов. (110 моделей)Автор: КоллективИздательство: Sony-EricssonГод: 2000 - 2010Формат: PDFРазмер: 635,56 МбКачество: ХорошееЯзык: Русский . . .
Название: Nokia. Схемы и сервис-мануалы мобильных телефонов. (380 моделей)Автор: КоллективИздательство: NokiaГод: 2010Формат: PDFРазмер: 1,45 ГбКачество: ХорошееЯзык: РусскийСхемы и сервис-мануалы моб . . .
Название: Motorola. Схемы и сервис-мануалы мобильных телефонов (105 моделеей)Автор: КоллективИздательство: MotorolaГод: 2000 - 2010Формат: PDFРазмер: 536,03 МбКачество: ХорошееЯзык: РусскийСхемы и сер . . .
Автор: Пушкин А.С.Название: Сочинения А.С.Пушкина. Полное собрание сочинений в одном томеИздательство: Издательство Ф. Павленкова, С. ПетербургГод: 1899Кол-во страниц: 1720, 160 илл.Формат: PDFРазмер: . . .
Название: Combat Squadrons of the Air Force, World War IIАвтор: Maurer MaurerИздательство: USAF Historical DivisionГод: 1969Страниц: 849Формат: PDF в RARРазмер: 34.9МБЯзык: английскийUnique reference . . .
Название: El Canon de asalto STUG IIIАвтор: Hilary Doyle, Tom Jentz, Peter Sarson Издательство: RBA Серия: Carros De Combate 53ISBN: 8447316513Год издания: 2001Язык: SpanishКоличество страниц: 49Форма . . .
Автор: Виктор ШунковНазвание: Солдаты разрушения. Организация, подготовка, вооружение, униформа ваффен ССИздательство: АСТ, ХарвестСерия: Военно-историческая библиотекаГод: 2003Формат: PDF, DjVuРазмер . . .
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Верификация автоматных программ. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.