Миронов, Андрей Михайлович. - Математические модели и методы верификации процессов / А. М. Миронов ; Московский государственный университет имени М. В. Ломоносова, Механико-математический факультет, Кафедра математической теории интеллектуальных систем. - Москва : МАКС Пресс, 2022. - 105 с. : ил.; 21 см.; ISBN 978-5-317-06893-6 : 100 экз.
Карточка
Экспресс-заказ фрагмента
Миронов, Андрей Михайлович.
Математические модели и методы верификации процессов / А. М. Миронов ; Московский государственный университет имени М. В. Ломоносова, Механико-математический факультет, Кафедра математической теории интеллектуальных систем. - Москва : МАКС Пресс, 2022. - 105 с. : ил.; 21 см.; ISBN 978-5-317-06893-6 : 100 экз.
Динамические системы дискретные - Математическое моделирование
Компьютеры персональные - Программы по математике - Верификация
Техника. Технические науки -- Энергетика. Радиоэлектроника -- Радиоэлектроника -- Вычислительная техника -- Вычислительные машины электронные цифровые -- Персональные компьютеры -- Компьютерные системы и сети -- Теория. Исследование -- Параллельная работа -- Математическое моделирование. Применение вычислительных машин
компьютерные системы
верификация процессов
Шифр хранения:
Математические модели и методы верификации процессов / А. М. Миронов ; Московский государственный университет имени М. В. Ломоносова, Механико-математический факультет, Кафедра математической теории интеллектуальных систем. - Москва : МАКС Пресс, 2022. - 105 с. : ил.; 21 см.; ISBN 978-5-317-06893-6 : 100 экз.
Динамические системы дискретные - Математическое моделирование
Компьютеры персональные - Программы по математике - Верификация
Техника. Технические науки -- Энергетика. Радиоэлектроника -- Радиоэлектроника -- Вычислительная техника -- Вычислительные машины электронные цифровые -- Персональные компьютеры -- Компьютерные системы и сети -- Теория. Исследование -- Параллельная работа -- Математическое моделирование. Применение вычислительных машин
компьютерные системы
верификация процессов
Шифр хранения:
FB 1 22-38/501
Описание
| Автор | Миронов, Андрей Михайлович |
|---|---|
| Заглавие | Математические модели и методы верификации процессов |
| Коллекции ЭК РГБ | Каталог документов с 1831 по настоящее время |
| Коллекции ЭБ РГБ | Коллекция не определена |
| Дата поступления в ЭК РГБ | 13.01.2023 |
| Дата поступления в ЭБ РГБ | 12.03.2023 |
| Каталоги | Книги (изданные с 1831 г. по настоящее время) |
| Сведения об ответственности | А. М. Миронов ; Московский государственный университет имени М. В. Ломоносова, Механико-математический факультет, Кафедра математической теории интеллектуальных систем |
| Выходные данные | Москва : МАКС Пресс, 2022 |
| Физическое описание | 105 с. : ил.; 21 см |
| ISBN | ISBN 978-5-317-06893-6 : 100 экз. |
| Тема | Динамические системы дискретные - Математическое моделирование |
| Компьютеры персональные - Программы по математике - Верификация | |
| Техника. Технические науки -- Энергетика. Радиоэлектроника -- Радиоэлектроника -- Вычислительная техника -- Вычислительные машины электронные цифровые -- Персональные компьютеры -- Компьютерные системы и сети -- Теория. Исследование -- Параллельная работа -- Математическое моделирование. Применение вычислительных машин | |
| Термины-указатели | компьютерные системы |
| верификация процессов | |
| BBK-код | З973.260.2-016.3с116,0 |
| Язык | Русский |
| Места хранения | FB 1 22-38/501 |
| Электронный адрес | Электронный ресурс |
