1. Главная
  2. Ресурсы
  3. Издания университета

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

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

Похожие документы

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

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

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

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

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

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

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

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

Параллельное программирование

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

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

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

Параллельное программирование.

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

Организация и управление высокопроизводительными вычислительными комплексами

  • Кузьмин Дмитрий Александрович и др.
  • 2013 год

Программирование на языке высокого уровня

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

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

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

Программирование. Часть 1

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

Технология программирования. Использовние процедурной и оъектно-ориентированной парадигм программирования

  • Легалов Александр Иванович и др.
  • 2012 год