Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ. Учебное пособие Год выпуска: 2014Автор: С. В. ЯхонтовИздательство: Издательство СПбГУСтраниц: 146ISBN: 978-5-288-05544-7Описание В основе данного учебного пособия лежит курс лекций прочитанный автором на математико-механическом факультете СПбГУ. В пособии рассматриваются методы формальных спецификаций, основанные на тройках Хора, и методы дедуктивной верификации императивных программ, а также построенный на основе данных методов язык программирования со встроенными формальными спецификациями Spec#. Подробно рассматриваются основные возможности языка Spec# и системы программирования Spec#, предназначенной для работы с ним. Учебное пособие предназначено студентам, магистрантам и аспирантам, обучающимся по направлению подготовки 010500 - Математическое обеспечение и администрирование информационных систем и специализирующимся в области теоретической и практической информатики.
Похожие книги
А.П. Кузякин, М.А. Семичев. Реклама и PR в мировой экономике. Учебное пособие. – М.: ТК Велби, 2002. – 320 с. И.Н. Курочкина. Современный этикет и воспитание культуры поведения у дошкольников. – М.: Владос, 2003. – 224 с. И.И. Микушин, Г.Н. Серавин. Методы и средства измерения скорости звука в море. – М.: Судостроение, 2012. – 224 с. И.Ложе. Информационные системы. Методы и средства. – М.: Мир, 1979. – 632 с. А.Р. Урубков, И.В. Федотов. Методы и модели оптимизации управленческих решений. Учебное пособие. – М.: Издательский дом "Дело" РАНХиГС, 2014. – 238 с. Н.А. Алексеева. Анализ денежных потоков организации. Сборник задач (с методическими рекомендациями и ответами к решению задач). Учебное пособие. – М.: ДРОФА, 2014. – 160 с. Т.А. Панюкова, А.В. Панюков. Языки и методы программирования. Создание простых GUI-приложений с помощью Visual С++. Учебное пособие. – М.: Либроком, 2015. – 144 с. С.В. Яхонтов. Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ. Учебное пособие. – М.: Издательство СПбГУ, 2014. – 146 с. А.Р. Урубков, И.В. Федотов. Методы и модели оптимизации управленческих решений. Учебное пособие. – М.: Дело, 2016. – 238 с. А.Позднякова, Д.Хамуркопаран. Бизнес-диалог. Пособие по развитию устной и письменной речи иностранных учащихся. Учебное пособие. – М.: Форум, Инфра-М, 2015. – 248 с. С.К. Варлатая, М.В. Шаханова. Криптографические методы и средства обеспечения информационной безопасности. Учебное пособие. – М.: Проспект, 2015. – 152 с. Н.Ф.Стась, В.Н.Лисецкий. Задачи, упражнения и вопросы по общей химии. Учебное пособие. – М.: , 2016. – с. Л.Н. Блинов, И.Л. Перфилова. Сборник задач и упражнений по общей химии. Учебное пособие. – М.: , 2016. – с. Б.М.Насибулина , Е.Г.Локтионова , Т.Ф.Курочкина. Опасности производственной среды и способы защиты от них. Учебное пособие. – М.: , 2016. – с. И.Н. Курочкина. Методика обучения и воспитания младших школьников. Этикет. Учебное пособие. – М.: Юрайт, 2016. – 242 с. С.Б. Клюев, Е.И. Нефедов. Электродинамика и распространение радиоволн. Компьютеризированный курс. Учебное пособие. – М.: КУРС, 2017. – 464 с. П.И. Оклей. Экономико-математические методы и модели для проектирования программ ремонтных работ на тепловых электростанциях. – М.: Ленанд,Editorial URSS, 2017. – 288 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
Татьяна Практику у меня приняли после консультаций с вами на отлично!!!
