Статистика
Всего просмотров
| Просмотров | |
|---|---|
| Формальная семантика и верификация программ | 53 |
Всего просмотров за месяц
| октября 2025 | ноября 2025 | декабря 2025 | января 2026 | февраля 2026 | марта 2026 | апреля 2026 | |
|---|---|---|---|---|---|---|---|
| Формальная семантика и верификация программ | 5 | 9 | 12 | 10 | 5 | 11 | 1 |
ТОП-просмотров по странам
| Просмотров | |
|---|---|
| Япония | 16 |
| Соединенные Штаты | 8 |
| Канада | 7 |
| Вьетнам | 5 |
| Россия | 4 |
| Китай | 2 |
| Германия | 2 |
| Венесуэла | 2 |
| Беларусь | 1 |
| Соединенное Королевство | 1 |
ТОП-просмотров по городам
| Просмотров | |
|---|---|
| Tokyo | 16 |
| Ottawa | 7 |
| Hanoi | 5 |
| Beijing | 2 |
| Caracas | 2 |
| Buffalo | 1 |
| Cambridge | 1 |
| Minsk | 1 |
| Moscow | 1 |
| Mountain View | 1 |