Statistics
Total Visits
| Views | |
|---|---|
| Формальная семантика и верификация программ: учебная программа учреждения образования по учебной дисциплине для специальности: 6-05-0533-10 Информатика Профилизация: Технологии разработки сложных информационных систем. Регистрационный № 4428/б. | 31 |
Total Visits per Month
| October 2025 | November 2025 | December 2025 | January 2026 | February 2026 | March 2026 | April 2026 | |
|---|---|---|---|---|---|---|---|
| Формальная семантика и верификация программ: учебная программа учреждения образования по учебной дисциплине для специальности: 6-05-0533-10 Информатика Профилизация: Технологии разработки сложных информационных систем. Регистрационный № 4428/б. | 0 | 0 | 0 | 0 | 0 | 21 | 10 |
File Downloads
| Views | |
|---|---|
| Программа_Рег_4428б_2025_Формальная семантика и верификация программ_ИНФ.pdf | 7 |
Top Country Views
| Views | |
|---|---|
| United States | 8 |
| Russia | 5 |
| Belarus | 3 |
| Japan | 3 |
| France | 2 |
| United Kingdom | 2 |
| Germany | 1 |
| Netherlands | 1 |
| Ukraine | 1 |
| Vietnam | 1 |
Top City Views
| Views | |
|---|---|
| Tokyo | 3 |
| Atlanta | 1 |
| Buffalo | 1 |
| Durham | 1 |
| Hanoi | 1 |
| Minsk | 1 |
| Mogilev | 1 |
| Newark | 1 |
| Oakland | 1 |
| Redwood City | 1 |