УЧЕБНИКИ
ДЛЯ ВУЗОВ

   
Три пути ведут к знанию: путь размышления - это путь самый благородный, путь подражания - это путь самый легкий и путь опыта - это путь самый горький.
Конфуций


Профессиональная литература в Читай-городе!

Учебники для вузов: Новинки



Для связи: info@vuz-uchebniki.ru




высшее образование / учебники для вузов / литература для студентов и педагогов / литература для аспирантов

С. В. Яхонтов

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


Искать в интернет-магазинах
Издательство СПбГУ, 2014
Страниц: 146
Формат: 60x84/16
В основе данного учебного пособия лежит курс лекций прочитанный автором на математико-механическом факультете СПбГУ. В пособии рассматриваются методы формальных спецификаций, основанные на тройках Хора, и методы дедуктивной верификации императивных программ, а также построенный на основе данных методов язык программирования со встроенными формальными спецификациями Spec#. Подробно рассматриваются основные возможности языка Spec# и системы программирования Spec#, предназначенной для работы с ним. Учебное пособие предназначено студентам, магистрантам и аспирантам, обучающимся по направлению подготовки 010500 - Математическое обеспечение и администрирование информационных систем и специализирующимся в области теоретической и практической информатики.
Категории каталога:
Разработка программного обеспечения



Студенту на заметку:
Правильный подход к выбору няни
Когда встает вопрос о поиске няни, не спешите брать на работу первую попавшуюся кандидатуру. Это очень ответственный шаг.


Правильный выбор бизнес-школы
На сегодняшний день в мире насчитывается порядка пяти тысяч программ МВА. Поэтому если вы решили получить степень магистра делового администрирования (МВА) нужно для начала определиться с выбором «своей» единственной программ.