Картотека книг

предварительная версия
Картотека книг » Поиск по коду » Книги с ISBN13 9785288055447

Книга ISBN13 9785288055447 - Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ (Сергей Яхонтов) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением

Информация о местонахождении книг с указанным кодом ISBN. (Найти нужный код ISBN10 или ISBN13 можно в техническом каталоге кодов.)

На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.

Где купить эту книгу?

Интернет-магазины

Название: Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ
В основе данного учебного пособия лежит курс лекций прочитанный автором на математико-механическом факультете СПбГУ. В пособии рассматриваются методы формальных спецификаций, основанные на тройках Хора, и методы дедуктивной верификации императивных...
Авторы: Яхонтов С.В.
Издательство: Санкт-Петербургский государственный университет (СПбГУ)
Год: 2014
Местонахождение: My-shop.ru
ISBN: 978-5-288-05544-7
Название: Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ. Учебное пособие
В основе данного учебного пособия лежит курс лекций прочитанный автором на математико-механическом факультете СПбГУ. В пособии рассматриваются методы формальных спецификаций, основанные на тройках Хора, и методы дедуктивной верификации императивных программ, а также построенный на основе данных методов язык программирования со встроенными формальными спецификациями Spec#. Подробно рассматриваются основные возможности языка Spec# и системы программирования Spec#, предназначенной для работы с ним. Учебное пособие предназначено студентам, магистрантам и аспирантам, обучающимся по направлению подготовки 010500 - Математическое обеспечение и администрирование информационных систем и специализирующимся в области теоретической и практической информатики.
Авторы: С. В. Яхонтов
Издательство: Издательство СПбГУ
Год: 2014
Местонахождение: OZON.ru
ISBN: 978-5-288-05544-7
Название: Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ
В основе данного учебного пособия лежит курс лекций прочитанный автором на математико-механическом факультете СПбГУ. В пособии рассматриваются методы формальных спецификаций, основанные на тройках Хора, и методы дедуктивной верификации императивных программ, а также построенный на основе данных методов язык программирования со встроенными формальными спецификациями Spec#. Подробно рассматриваются основные возможности языка Spec# и системы программирования Spec#, предназначенной для работы с ним. Учебное пособие предназначено студентам, магистрантам и аспирантам, обучающимся по направлению подготовки 010500 – Математическое обеспечение и администрирование информационных систем и специализирующимся в области теоретической и практической информатики.
Авторы: Сергей Яхонтов
Издательство: Санкт-Петербургский государственный университет
Год: 2014
Местонахождение: LitRes.ru
ISBN: 978-5-288-05544-7


Поиск по сайту


Новости

10 января 2015 года: Запуск базы ISBN10 и ISBN13

Запущена база данных ISBN и технический каталог кодов.