1. Главная
  2. Ресурсы
  3. Библиотечный поиск

Методы формальной верификации программ : учеб.-метод. пособие для самостоят. работы [для студентов напр. подгот. 230100.68 «Информатика и вычислительная техника»]
учебно-методический материал (самостоятельная работа)

Полный текст
База данных: Каталог библиотеки СФУ (004  М545)
Библиографическое описание: Методы формальной верификации программ : учеб.-метод. пособие для самостоят. работы [для студентов напр. подгот. 230100.68 «Информатика и вычислительная техника»] / Сиб. федерал. ун-т ; сост. Ю. В. Удалова. - Электрон. текстовые дан. (PDF, 162 Кб). - Красноярск : СФУ, 2013. - (Магистратура). - Загл. с титул. экрана. - Библиогр.: с. 10. - Изд. № 2013-155. - Текст : электронный.
Аннотация: Учебно-методическое пособие содержит указания по изучению теории, ознакомлению с современными автоматическими верификаторами и выполнению лабораторных работ учебного курса «Методы формальной верификации программ». Предназначено для направления 230100.68 «Информатика и вычислительная техника».
Год издания: 2013
Редакторы, составители и др.: Удалова Юлия Васильевна (составитель)
Авторский коллектив: Сибирский федеральный университет (Красноярск)
Издательство: Сибирский федеральный университет, Красноярск
Количество страниц: 10
Количество экземпляров:
Издание имеется только в электронном виде

Похожие публикации

Методы формальной верификации программ

  • Удалова Юлия Васильевна
  • 2013 год

Математические и алгоритмические основы объектно-ориентированного программирования

  • Удалова Юлия Васильевна
  • 2013 год

Математические и алгоритмические основы объектно-ориентированного программирования

  • Удалова Юлия Васильевна
  • 2012 год

Методы глобальной оптимизации

  • Даничев Алексей Александрович
  • 2013 год

Теория алгоритмов и структуры данных

  • Редькина Александра Васильевна и др.
  • 2015 год

Теория языков программирования и методы трансляции

  • Кузнецов Александр Сергеевич
  • 2012 год

Высокоуровневые методы информатики и программирования

  • Рогалев Алексей Николаевич
  • 2012 год

Математические и алгоритмические основы объектно-ориентированного программирования

  • Удалова Юлия Васильевна
  • 2012 год

Показать ещё