Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ
PDF- Rozmiar: 147 str.
- Kategoria: programowanie, podręczniki, w tym dla szkoły wyższej
В основе данного учебного пособия лежит курс лекций прочитанный автором на математико-механическом факультете СПбГУ. В пособии рассматриваются методы формальных спецификаций, основанные на тройках Хора, и методы дедуктивной верификации императивных программ, а также построенный на основе данных методов язык программирования со встроенными формальными спецификациями Spec#.
Подробно рассматриваются основные возможности языка Spec# и системы программирования Spec#, предназначенной для работы с ним.
Учебное пособие предназначено студентам, магистрантам и аспирантам, обучающимся по направлению подготовки 010500 – Математическое обеспечение и администрирование информационных систем и специализирующимся в области теоретической и практической информатики.
- Ograniczenie wiekowe:
- 12+
- Data dodania do LitRes:
- 14 grudnia 2017
- Data powstania:
- 2014
- Rozmiar:
- 147 str.
- ISBN:
- 978-5-288-05544-7
- Całkowity rozmiar:
- 1 MB
- Całkowity liczba stron:
- 147
- Rozmiar stron:
140 x 210 мм
- Prawa autorskie:
- Санкт-Петербургский государственный университет
Оставьте отзыв
Отзывы