Миронов, Андрей Михайлович. - Верификация программ методом model checking : А. М. Миронов ; Московский государственный университет им. М. В. Ломоносова, Механико-математический факультет, Кафедра математической теории интеллектуальных систем. - Москва : МАКС Пресс, 2020. - 75 с.; 21 см.; ISBN 978-5-317-06514-0 : 100 экз.

Экспресс-заказ фрагмента
Миронов, Андрей Михайлович.
Миронов, Андрей Михайлович.
Верификация программ методом model checking : А. М. Миронов ; Московский государственный университет им. М. В. Ломоносова, Механико-математический факультет, Кафедра математической теории интеллектуальных систем. - Москва : МАКС Пресс, 2020. - 75 с.; 21 см.; ISBN 978-5-317-06514-0 : 100 экз.

Техника. Технические науки -- Энергетика. Радиоэлектроника -- Радиоэлектроника -- Вычислительная техника -- Вычислительные машины электронные цифровые -- Автоматическая обработка информации -- Режимы работы -- Параллельная работа -- Математические методы исследований
model checking
темпоральная логика
системы переходов
Шифр хранения:
FB 2 20-8/2595

Marc21

Скачать marc21-запись

Показать

Описание

Автор
ЗаглавиеВерификация программ методом model checking : А. М. Миронов ; Московский государственный университет им. М. В. Ломоносова, Механико-математический факультет, Кафедра математической теории интеллектуальных систем
Коллекции ЭК РГБ Каталог документов с 1831 по настоящее время
Коллекции ЭБ РГБ Коллекция не определена
Дата поступления в ЭК РГБ 18.01.2021
Дата поступления в ЭБ РГБ 11.03.2023
Каталоги Книги (изданные с 1831 г. по настоящее время)
Выходные данныеМосква : МАКС Пресс, 2020
Физическое описание75 с.; 21 см
ISBNISBN 978-5-317-06514-0 : 100 экз.
ТемаТехника. Технические науки -- Энергетика. Радиоэлектроника -- Радиоэлектроника -- Вычислительная техника -- Вычислительные машины электронные цифровые -- Автоматическая обработка информации -- Режимы работы -- Параллельная работа -- Математические методы исследований
Термины-указателиmodel checking
темпоральная логика
системы переходов
BBK-кодЗ973.233-016.3с11,0
ЯзыкРусский
Места храненияFB 2 20-8/2595
Электронный адрес Электронный ресурс