Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ. Учебное пособие, С. В. Яхонтов
Автор: С. В. Яхонтов
Доступно в форматах: EPUB | PDF | FB2
Страниц: 146
Год издания: 2014
Язык: Русский
В основе данного учебного пособия лежит курс лекций прочитанный автором на математико-механическом факультете СПбГУ. В пособии рассматриваются методы формальных спецификаций, основанные на тройках Хора, и методы дедуктивной верификации императивных программ, а также построенный на основе данных методов язык программирования со встроенными формальными спецификациями Spec#. Подробно рассматриваются основные возможности языка Spec# и системы программирования Spec#, предназначенной для работы с ним. Учебное пособие предназначено студентам, магистрантам и аспирантам, обучающимся по направлению подготовки 010500 - Математическое обеспечение и администрирование информационных систем и специализирующимся в области теоретической и практической информатики.
Отзывы
Константин, Киев,
30.05.2017
Искал один роман, давно друг посоветовал. А тут больничный. Чего делать библиоману? Читать канеш! Но чтоб везде и всюду не носить за собой книгу, я ее у вас скачал - называется Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ. Учебное пособие. Понравилось, что без заморочек. Ввел код перед скачиванием и все. Вас в закладки.
Ксения, Новокузнецк,
22.05.2017
Я тут набегом) случайно. Не умею отзывы писать, но как не сказать мерси за бесплатное скачивание книги Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ. Учебное пособие (ввести код с тлф не считается). Мне эта книжка для учебы ой как нужна! А нигде нет или есть, но платно. Вот спасибочки от студентов. Всем сокурсникам про вас рассказала. Ждите наплыва посетителей.
Те, кто смотрел эту страницу, также интересовались:
Часто задаваемые вопросы
1. Какой формат книги выбрать: PDF, EPUB или FB2?
Тут все зависит от ваших личных предпочтений. На сегодняшний день, каждый из этих типов книг можно открыть как
на компьютере, так и на смартфоне или планшете. Все скачанные с нашего сайта книги будут одинаково открываться
и выглядеть в любом из этих форматов. Если не знаете что выбрать, то для чтения на компьютере выбирайте PDF,
а для смартфона - EPUB.
2. Можно ли книги с вашего сайта читать на смартфоне?
Да. Как для iOS, так и для Android есть много удобных программ для чтения книг.
3. В какой программе открыть файл PDF?
Для открытия файла PDF Вы можете воспользоваться бесплатной программой Acrobat Reader. Она доступна для скачивания на сайте adobe.com