Статистика
Всего просмотров
| Просмотров | |
|---|---|
| Об автоматическом доказательстве правильности программ в системе функционального программирования | 176 |
Всего просмотров за месяц
| июня 2025 | июля 2025 | августа 2025 | сентября 2025 | октября 2025 | ноября 2025 | декабря 2025 | |
|---|---|---|---|---|---|---|---|
| Об автоматическом доказательстве правильности программ в системе функционального программирования | 10 | 2 | 5 | 50 | 8 | 23 | 3 |
Загрузок файла
| Просмотров | |
|---|---|
| 31-34.pdf | 44 |
ТОП-просмотров по странам
| Просмотров | |
|---|---|
| Соединенные Штаты | 72 |
| Канада | 28 |
| Беларусь | 21 |
| Китай | 13 |
| Япония | 8 |
| Россия | 8 |
| Австралия | 4 |
| Украина | 4 |
| Венесуэла | 3 |
| Индия | 2 |
ТОП-просмотров по городам
| Просмотров | |
|---|---|
| Houston | 45 |
| Ottawa | 28 |
| Tokyo | 8 |
| Mogilev | 7 |
| Caracas | 3 |
| Sumy | 3 |
| Buffalo | 2 |
| Hefei | 2 |
| Seattle | 2 |
| Andover | 1 |