Статистика
Всего просмотров
| Просмотров | |
|---|---|
| Формальная семантика и верификация программ: учебная программа учреждения образования по учебной дисциплине для специальности: 6-05-0533-10 Информатика Профилизация: Технологии разработки сложных информационных систем. Регистрационный № 4428/б. | 30 |
Всего просмотров за месяц
| октября 2025 | ноября 2025 | декабря 2025 | января 2026 | февраля 2026 | марта 2026 | апреля 2026 | |
|---|---|---|---|---|---|---|---|
| Формальная семантика и верификация программ: учебная программа учреждения образования по учебной дисциплине для специальности: 6-05-0533-10 Информатика Профилизация: Технологии разработки сложных информационных систем. Регистрационный № 4428/б. | 0 | 0 | 0 | 0 | 0 | 21 | 9 |
Загрузок файла
| Просмотров | |
|---|---|
| Программа_Рег_4428б_2025_Формальная семантика и верификация программ_ИНФ.pdf | 7 |
ТОП-просмотров по странам
| Просмотров | |
|---|---|
| Соединенные Штаты | 8 |
| Россия | 5 |
| Беларусь | 3 |
| Франция | 2 |
| Соединенное Королевство | 2 |
| Япония | 2 |
| Германия | 1 |
| Нидерланды | 1 |
| Украина | 1 |
| Вьетнам | 1 |
ТОП-просмотров по городам
| Просмотров | |
|---|---|
| Tokyo | 2 |
| Atlanta | 1 |
| Buffalo | 1 |
| Durham | 1 |
| Hanoi | 1 |
| Minsk | 1 |
| Mogilev | 1 |
| Newark | 1 |
| Oakland | 1 |
| Redwood City | 1 |