Statistics
Total Visits
| Views | |
|---|---|
| Формальная семантика и верификация программ: учебная программа учреждения высшего образования по учебной дисциплине для специальности 1-31 03 03 Прикладная математика (по направлениям) Направление специальности 1-31 03 03-01 Прикладная математика (научно-производственная деятельность). № УД-10429/уч. | 138 |
Total Visits per Month
| March 2025 | April 2025 | May 2025 | June 2025 | July 2025 | August 2025 | September 2025 | |
|---|---|---|---|---|---|---|---|
| Формальная семантика и верификация программ: учебная программа учреждения высшего образования по учебной дисциплине для специальности 1-31 03 03 Прикладная математика (по направлениям) Направление специальности 1-31 03 03-01 Прикладная математика (научно-производственная деятельность). № УД-10429/уч. | 4 | 7 | 2 | 11 | 1 | 1 | 0 |
File Downloads
| Views | |
|---|---|
| Программа_УД-10429_уч_Формальная семантика и верификация программ_ПМ.pdf | 71 |
Top Country Views
| Views | |
|---|---|
| Belarus | 32 |
| Canada | 29 |
| United States | 28 |
| Russia | 15 |
| Australia | 4 |
| Ukraine | 4 |
| Japan | 3 |
| China | 1 |
| Czech Republic | 1 |
| Germany | 1 |
Top City Views
| Views | |
|---|---|
| Ottawa | 28 |
| Minsk | 12 |
| Mogilev | 7 |
| Oakland | 6 |
| Grodno | 3 |
| Moscow | 3 |
| Tokyo | 3 |
| Houston | 2 |
| Tambov | 2 |
| Tustin | 2 |