Издательство ГРАМОТА - публикация научных статей в периодических изданиях
Pan-Art (входит в перечень ВАК)Педагогика. Вопросы теории и практики (входит в перечень ВАК)Филологические науки. Вопросы теории и практики (входит в перечень ВАК)Манускрипт (входит в перечень ВАК)

Архив научных статей

ИСТОЧНИК:    Альманах современной науки и образования. Тамбов: Грамота, 2011. № 6. С. 84-85.
РАЗДЕЛ:    Физико-математические науки
Порядок опубликования статей | Показать содержание номера | Показать все статьи раздела | Предметный указатель

Лицензионное соглашение об использовании научных материалов.

ВЕРИФИКАЦИЯ И СПОСОБЫ ОПИСАНИЯ ФОРМАЛЬНЫХ МОДЕЛЕЙ

Сергеев Дмитрий Витальевич
Тульский государственный университет


Открыть полный текст статьи в формате PDF. Бесплатный просмотрщик PDF-файлов можно скачать здесь.
Список литературы:
  1. Габай М., Ходкинсон И., Рейнольдс М. Временная логика: математические основы и вычислительные аспекты. Оксфорд: Clarendon Press, 1994. Т. 1. 653 с.
  2. Кларк Э. М., Грамберг О., Пелед Д. Верификация моделей программ. М.: МЦНМО, 2002.
  3. Марков А. А. Элементы математической логики. М.: Издательство МГУ, 1984.
  4. Мендельсон Э. Введение в математическую логику. М.: Наука, 1984.
  5. Миронов А. М., Жуков Д. Ю. Математическая модель и методы верификации программных систем // Информационные технологии и вычислительные системы. 2005. 220 с.
  6. Hillston J. Процесс алгебры для количественного анализа // СЛС: школа информатики. 2005.

Порядок опубликования статей | Показать содержание номера | Показать все статьи раздела | Предметный указатель

© 2006-2024 Издательство ГРАМОТА

разработка и создание сайта, поисковая оптимизация: krav.ru