Аннотация к книге "Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ. Учебное пособие"
В основе данного учебного пособия лежит курс лекций прочитанный автором на математико-механическом факультете СПбГУ. В пособии рассматриваются методы формальных спецификаций, основанные на тройках Хора, и методы дедуктивной верификации императивных программ, а также построенный на основе данных методов язык программирования со встроенными формальными спецификациями Spec#. Подробно рассматриваются основные возможности языка Spec# и системы программирования Spec#, предназначенной для работы с...
В основе данного учебного пособия лежит курс лекций прочитанный автором на математико-механическом факультете СПбГУ. В пособии рассматриваются методы формальных спецификаций, основанные на тройках Хора, и методы дедуктивной верификации императивных программ, а также построенный на основе данных методов язык программирования со встроенными формальными спецификациями Spec#. Подробно рассматриваются основные возможности языка Spec# и системы программирования Spec#, предназначенной для работы с ним. Учебное пособие предназначено студентам, магистрантам и аспирантам, обучающимся по направлению подготовки 010500 - Математическое обеспечение и администрирование информационных систем и специализирующимся в области теоретической и практической информатики.
Однажды ночью в семье Дарлингов произошли необычайные события, повлекшие за собой события ещё большей необычайности. Всё началось с того, что в детской появился Питер Пэн — мальчик, который не хотел взрослеть. Разве можно устоять и не полететь вместе с ним на Нигдешний остров? Конечно, Венди, Джон и Майкл отправляются навстречу приключениям! Феи, русалки и свирепые индейцы, Птица-Небылица и тикающая...
В книге даются основные правила чтения английских букв и буквосочетаний, которые помогут сформировать правильное произношение. С помощью этого тренажёра учащиеся начальной школы научатся разбираться в знаках международной фонетической транскрипции, усвоят правильное произношение звуков. В этом тренажёре вы найдёте: подробный разбор слов на все основные правила чтения английских букв и...
Вторая книга романа «Наполеонов обоз» – «Белые лошади» – затягивает читателя в воронку любви и предательства, счастья и горя двух главных героев – Аристарха и Надежды. За короткий срок на них обрушивается груз сильнейших потрясений, которые не часто и не всем выпадают в юности. Сильные, цельные натуры, оба они живут на такой высоте чувств, которая ничего не прощает. Судьба буквально расшвыривает в...
Оставить комментарий