Лях, Татьяна Викторовна. — Динамическая верификация процесс-ориентированных программ управления киберфизическими системами: методическое пособие: [для студентов математических, физических, технических факультетов университетов, инженерно-физических и других специальностей вузов] / Т. В. Лях, Н. О. Гаранина, А. С. Розов; М-во науки и высш. образования РФ, Новосиб. гос. ун-т, Фак. информ. технологий. — Электрон. дан. (1 файл) (Новосибирск: Издательско-полиграфический центр НГУ, 2022). — Загл. с экрана. — В НБ НГУ имеется только цифровой вариант издания. В бумажном варианте книга не издавалась. — Текстовые электрон. данные. — Доступ по паролю (чтение, цитирование). — <URL:http://e-lib.nsu.ru/dsweb/Get/Resource-7517/page00000.pdf>. — Текст: электронный
Период | Чтение | Печать | Копирование | Открытие | Итого |
---|---|---|---|---|---|
Всего | 0 | 0 | 0 | 0 | 0 |