Информация о книге

978-5-288-05544-7

Главная  » Тематика определяется » Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ. Учебное пособие | Яхонтов Сергей Викторович

Яхонтов С., Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ. Учебное пособие | Яхонтов Сергей Викторович

2014 г., 146 стр., 978-5-288-05544-7


Наличие в интернет-магазинах

Магазинов: 2, Цена: от 679 руб. посмотреть все

Описание книги

В основе данного учебного пособия лежит курс лекций прочитанный автором на математико-механическом факультете СПбГУ. В пособии рассматриваются методы формальных спецификаций, основанные на тройках Хора, и методы дедуктивной верификации императивных программ, а также построенный на основе данных методов язык программирования со встроенными формальными спецификациями Spec#. Подробно рассматриваются основные возможности языка Spec# и системы программирования Spec#, предназначенной для работы с ним.

Учебное пособие предназначено студентам, магистрантам и аспирантам, обучающимся по направлению подготовки 010500 - Математическое обеспечение и администрирование информационных систем и специализирующимся в области теоретической и практической информатики.

Купить эту книгу можно в интернет-магазинах

  Буквоед - 679 руб.
  Страница товара выбранного интернет-магазина откроется в новом табе

Поделиться ссылкой на книгу




Об авторе

Яхонтов С.


Последние поступления в рубрике "Тематика определяется"



Математика. Подготовка к ЕГЭ. Задачи с параметрами.10-11 классы 

В предлагаемом пособии представлен обширный материал, посвященный двум заключительным и сложным темам ЕГЭ профильного уровня: задачам с параметрами и числам и их свойствам. На многочисленных примерах с подробными решениями и обоснованиями (как и требуется на экзамене) показаны различные методы и решения задач....

План счетов бухгалтерского учета с последними изменениями 

Читателю предлагается самая последняя редакция Плана счетов бухгалтерского учета финансово-хозяйственной деятельности организаций и инструкции по его применению с учетом последних приказов Минфина РФ. План счетов - это важнейший инструмент бухгалтерского учета, настольная книга для каждого практического бухгалтера....

На ферме. Книжка с наклейками 

Игры с наклейками - занятие не только интересное, но и полезное. С этой книгой малыш познакомится с различными видами транспорта, потренируется решать простые логические задачки и находить соответствия....

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Яхонтов С., Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ. Учебное пособие | Яхонтов Сергей Викторович в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.