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