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