Электронная книга: Сергей Яхонтов «Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ»
|
В основе данного учебного пособия лежит курс лекций прочитанный автором на математико-механическом факультете СПбГУ. В пособии рассматриваются методы формальныхспецификаций, основанные на тройках Хора, и методы дедуктивной верификации императивных программ, а также построенный на основе данных методов язык программирования со встроенными формальными спецификациями Spec#. Подробно рассматриваются основные возможности языка Spec# и системы программирования Spec#, предназначенной для работы с ним. Учебное пособие предназначено студентам, магистрантам и аспирантам, обучающимся по направлению подготовки 010500 – Математическое обеспечение и администрирование информационных систем и специализирующимся в области теоретической и практической информатики. Издательство: "Санкт-Петербургский государственный университет" (2014)
ISBN: 978-5-288-05544-7 электронная книга Купить за 279 руб и скачать на Litres |
Другие книги схожей тематики:
| Автор | Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|---|
| С. В. Яхонтов | Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ. Учебное пособие | В основе данного учебного пособия лежит курс лекций прочитанный автором на математико-механическом… — Издательство СПбГУ, (формат: 60x84/16, 146 стр.) Информационные технологии Подробнее... | 2014 | 441 | бумажная книга |
См. также в других словарях:
Сергей Лемешев — Полное имя Сергей Яковлевич Лемешев Дата рождения 10 июля 1902 Место рождения Тверская губерния, Российская империя Дата смерти … Википедия
Сергей Яковлевич Лемешев — Сергей Лемешев Полное имя Сергей Яковлевич Лемешев Дата рождения 10 июля 1902 Место рождения Тверская губерния, Российская империя Дата смерти … Википедия
Сергей Васильевич Рухлов — русский государственный деятель, министр путей сообщения (1909 1915), член Государственного Совета Дата рождения: 24 июня (7 июля) 1852г … Википедия
Сергей Рухлов — Сергей Васильевич Рухлов русский государственный деятель, министр путей сообщения (1909 1915), член Государственного Совета Дата рождения: 24 июня (7 июля) 1852г … Википедия
Яхонтов, Сергей Евгеньевич — В Википедии есть статьи о других людях с такой фамилией, см. Яхонтов. Сергей Евгеньевич Яхонтов [[Файл … Википедия
Яхонтов — русская фамилия, происходящая от «яхонт» старинное название рубина и сапфира. Известны следующие личности по фамилии «Яхонтов»: Яхонтов, Александр Александрович (1879 1973) энтомолог, педагог, методист в области естествознания; автор первого… … Википедия
