Statistics
Total Visits
| Views | |
|---|---|
| Формальная семантика и верификация программ: учебная программа учреждения высшего образования по учебной дисциплине для специальности 1-31 03 03 Прикладная математика (по направлениям) Направление специальности 1-31 03 03-01 Прикладная математика (научно-производственная деятельность). № УД-10429/уч. | 227 |
Total Visits per Month
| August 2025 | September 2025 | October 2025 | November 2025 | December 2025 | January 2026 | February 2026 | |
|---|---|---|---|---|---|---|---|
| Формальная семантика и верификация программ: учебная программа учреждения высшего образования по учебной дисциплине для специальности 1-31 03 03 Прикладная математика (по направлениям) Направление специальности 1-31 03 03-01 Прикладная математика (научно-производственная деятельность). № УД-10429/уч. | 1 | 39 | 11 | 14 | 9 | 12 | 4 |
File Downloads
| Views | |
|---|---|
| Программа_УД-10429_уч_Формальная семантика и верификация программ_ПМ.pdf | 97 |
Top Country Views
| Views | |
|---|---|
| United States | 74 |
| Canada | 38 |
| Belarus | 37 |
| Russia | 19 |
| Japan | 13 |
| China | 7 |
| Australia | 5 |
| Ukraine | 5 |
| Brazil | 2 |
| Venezuela | 2 |
Top City Views
| Views | |
|---|---|
| Houston | 37 |
| Ottawa | 37 |
| Tokyo | 13 |
| Minsk | 12 |
| Mogilev | 10 |
| Oakland | 6 |
| San Jose | 6 |
| Moscow | 5 |
| Grodno | 3 |
| Salt Lake City | 3 |