18+
На сайте представлено только описание и выходные данные книги «Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ. Учебное пособие С. В. Яхонтов». Сайт не является распространителем книги. Сайт не предоставляет возможности купить, читать онлайн или скачать бесплатно книгу «Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ. Учебное пособие С. В. Яхонтов». Сайт предназначен для лиц старше 18 лет. Если вам не исполнилось 18 лет - незамедлительно покиньте сайт. Оставаясь на сайте вы подтвердаете, что вам исполнилось 18 лет.
Незаконное потребление наркотических средств, психотропных веществ, их аналогов причиняет вред здоровью, их незаконный оборот запрещен и влечет установленную законодательством ответственность
В основе данного учебного пособия лежит курс лекций прочитанный автором на математико-механическом факультете СПбГУ. В пособии рассматриваются методы формальных спецификаций, основанные на тройках Хора, и методы дедуктивной верификации императивных программ, а также построенный на основе данных методов язык программирования со встроенными формальными спецификациями Spec#. Подробно рассматриваются основные возможности языка Spec# и системы программирования Spec#, предназначенной для работы с ним. Учебное пособие предназначено студентам, магистрантам и аспирантам, обучающимся по направлению подготовки 010500 - Математическое обеспечение и администрирование информационных систем и специализирующимся в области теоретической и практической информатики. Это и многое другое вы найдете в книге Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ. Учебное пособие (С. В. Яхонтов)
| Полное название книги | С. В. Яхонтов Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ. Учебное пособие |
| Тип | Книга |
| Автор | С. В. Яхонтов |
| Категории | Для техникумов и вузов, Образование и наука, Книги |
| ISBN | 9785288055447 |
| Возрастное ограничение | 18 |
| Издательство | Издательский дом Санкт-Петербургского государственного университета |
| Год | 2014 |
| Название транслитом | sovremennye-metody-i-instrumenty-formalnyh-specifikaciy-i-deduktivnoy-verifikacii-imperativnyh-programm-uchebnoe-posobie-s-v-yahontov |
| Просмотров | 5 |
| Рейтинг izbe.ru | 0,0 |
Мари Мур
Брук Лин
Конкордия Антарова
Дэниел Киз
Абрахам Вергезе
Аида Синицына
Вадим Зеланд
Сергей Лукьяненко
Роберт Грин
Виктор Дашкевич
Роман Прокофьев
Пауло Коэльо
