Книга: С. В. Яхонтов «Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ. Учебное пособие»
|
Серия: "Информационные технологии" В основе данного учебного пособия лежит курс лекций прочитанный автором на математико-механическом факультете СПбГУ. В пособии рассматриваются методы формальныхспецификаций, основанные на тройках Хора, и методы дедуктивной верификации императивных программ, а также построенный на основе данных методов язык программирования со встроенными формальными спецификациями Spec#. Подробно рассматриваются основные возможности языка Spec# и системы программирования Spec#, предназначенной для работы с ним. Учебное пособие предназначено студентам, магистрантам и аспирантам, обучающимся по направлению подготовки 010500 - Математическое обеспечение и администрирование информационных систем и специализирующимся в области теоретической и практической информатики. Издательство: "Издательство СПбГУ" (2014) Формат: 60x84/16, 146 стр.
ISBN: 978-5-288-05544-7 Купить за 441 руб на Озоне |
Другие книги схожей тематики:
| Автор | Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|---|
| Сергей Яхонтов | Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ | В основе данного учебного пособия лежит курс лекций прочитанный автором на математико-механическом… — Санкт-Петербургский государственный университет, электронная книга Подробнее... | 2014 | 279 | электронная книга |
См. также в других словарях:
Яхонтов Александр Николаевич — Яхонтов (Александр Николаевич) поэт и общественный деятель. Родился в 1820 г. Пятилетним ребенком ему пришлось читать стихи Пушкина перед самим поэтом, посетившим в 1825 г. село Комно. Воспитывался в благородном пансионе при Санкт Петербургском… … Биографический словарь
Яхонтов — ЯХОНТ Слово яхонт нам известно по литературе. Всякий знает, что означает оно какой то драгоценный камень. Пушкин употреблял это слово еще в прямом смысле (в Послании к Юдину): К чему певцам алмазы, яхонты, топазы... Однако в поэзии оно чаще… … Русские фамилии
Яхонтов Владимир Николаевич — (1899 1945), сов. артист, мастер худож. слова. Создатель (совм. с реж. Е. Е. Поповой и С. И. Владимирским) эстрадного Театра одного актера «Современник» (1927 35), в к ром стремился осуществить слияние принципов лит ры и театра. Начиная с 1920 Я … Лермонтовская энциклопедия
Яхонтов Иоанн Константинович — Яхонтов (Иоанн Константинович, умер в 1888 г.) духовный писатель, протоиерей в Санкт Петербурге, магистр Санкт Петербургской духовной академии; был помощником главного наблюдателя за преподаванием Закона Божия в учебных заведениях Министерства… … Биографический словарь
Яхонтов Владимир Николаевич — [16(28).11.1899, Седлец, ныне Седльце, ПНР, ‒ 16.7.1945, Москва], русский советский артист эстрады, чтец. Учился во 2 й Студии МХТ, студии Вахтангова. Работал в Театре им. Мейерхольда (1924‒26). С 1922 ‒ на эстраде. Первая концертная программа ‒… … Большая советская энциклопедия
ЯХОНТОВ — Владимир Николаевич (1899 1945), артист эстрады, мастер художественного слова. Выступал с 1922. В 1927 с режиссером Е.Е. Поповой и С.И. Владимирским создал эстрадный театр одного актера Современник (существовал до 1935). Автор и исполнитель… … Современная энциклопедия
