Details
| Title | Динамическая верификация процесс-ориентированных программ управления киберфизическими системами: методическое пособие: [для студентов математических, физических, технических факультетов университетов, инженерно-физических и других специальностей вузов] |
|---|---|
| Creators | Лях Татьяна Викторовна ; Гаранина Наталья Олеговна ; Розов Андрей Сергеевич |
| Organization | Новосибирский гос. университет. Фак. информационных технологий |
| Electronic publication | Новосибирск: Издательско-полиграфический центр НГУ, 2022 |
| Collection | Издания НГУ |
| Subjects | Объектно-ориентированное программирование ; Программное обеспечение (надежность) ; Труды преподавателей и сотрудников НГУ |
| LBC | В185.123я73-1я04 |
| Literature on branches of knowledge | Математика ( В1 ) ; Программирование. Интернет. Пакеты прикладных программ (В18) |
| Document type | Tutorial |
| File type | |
| Language | Russian |
| Rights | Доступ по паролю (чтение, цитирование) |
| Additionally | All documents |
| Record key | RU\NSU\elcopy\3484 |
| Record create date | 4/14/2022 |
Allowed Actions
–
Action 'Read' will be available if you login or access site from another network
| Group | Anonymous |
|---|---|
| Network | Internet |
| Network | User group | Action |
|---|---|---|
| Internet | Readers |
|
| Internet | Anonymous |
|
Access count: 0
Last 30 days: 0
