Детальная информация
| Название | Динамическая верификация процесс-ориентированных программ управления киберфизическими системами: методическое пособие: [для студентов математических, физических, технических факультетов университетов, инженерно-физических и других специальностей вузов] |
|---|---|
| Авторы | Лях Татьяна Викторовна ; Гаранина Наталья Олеговна ; Розов Андрей Сергеевич |
| Организация | Новосибирский гос. университет. Фак. информационных технологий |
| Электронная публикация | Новосибирск: Издательско-полиграфический центр НГУ, 2022 |
| Коллекция | Издания НГУ |
| Тематика | Объектно-ориентированное программирование ; Программное обеспечение (надежность) ; Труды преподавателей и сотрудников НГУ |
| ББК | В185.123я73-1я04 |
| Литература по отраслям знания | Математика ( В1 ) ; Программирование. Интернет. Пакеты прикладных программ (В18) |
| Тип документа | Учебник |
| Тип файла | |
| Язык | Русский |
| Права доступа | Доступ по паролю (чтение, цитирование) |
| Дополнительно | Все документы |
| Ключ записи | RU\NSU\elcopy\3484 |
| Дата создания записи | 14.04.2022 |
Разрешенные действия
–
Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
| Группа | Анонимные пользователи |
|---|---|
| Сеть | Интернет |
| Место доступа | Группа пользователей | Действие |
|---|---|---|
| Интернет | Читатели |
|
| Интернет | Анонимные пользователи |
|
Количество обращений: 0
За последние 30 дней: 0
