Карпов, Юрий Глебович. Технология программирования. Верификация параллельных и распределенных программных систем: учебное пособие / Ю. Г. Карпов; Санкт-Петербургский государственный политехнический университет. — Санкт-Петербург: Изд-во Политехн. ун-та, 2010 (Санкт-Петербург, 2020). — 1 файл (4,28 Мб). — Загл. с титул. экрана. — Цифровая копия печатной публикации 2010 г. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — <URL:http://elib.spbstu.ru/dl/2/si20-987.pdf>. — DOI 10.18720/SPBPU/2/si20-987. — Текст: электронный
|
Период
|
Чтение
|
Печать
|
Копирование
|
Открытие
|
Итого
|
|
Год 2021
|
Квартал 2
|
Апрель
|
0
|
0
|
1
|
0
|
1
|
|
Май
|
0
|
0
|
0
|
0
|
0
|
|
Июнь
|
0
|
0
|
0
|
0
|
0
|
|
Квартал 3
|
Июль
|
0
|
0
|
0
|
0
|
0
|
|
Август
|
0
|
0
|
0
|
0
|
0
|
|
Сентябрь
|
0
|
0
|
0
|
0
|
0
|
|
Квартал 4
|
Октябрь
|
0
|
0
|
0
|
0
|
0
|
|
Ноябрь
|
0
|
0
|
2
|
0
|
2
|
|
Декабрь
|
0
|
0
|
0
|
0
|
0
|
|
Год 2022
|
Квартал 1
|
Январь
|
1
|
0
|
0
|
0
|
1
|
|
Февраль
|
0
|
0
|
0
|
0
|
0
|
|
Март
|
0
|
0
|
0
|
0
|
0
|
|
Квартал 2
|
Апрель
|
0
|
0
|
0
|
0
|
0
|
|
Май
|
0
|
0
|
0
|
0
|
0
|
|
Июнь
|
0
|
0
|
0
|
0
|
0
|
|
Квартал 3
|
Июль
|
0
|
0
|
0
|
0
|
0
|
|
Август
|
0
|
0
|
0
|
0
|
0
|
|
Сентябрь
|
0
|
0
|
1
|
0
|
1
|
|
Квартал 4
|
Октябрь
|
0
|
0
|
1
|
0
|
1
|
|
Ноябрь
|
1
|
0
|
1
|
0
|
2
|
|
Декабрь
|
0
|
0
|
0
|
0
|
0
|
|
Год 2023
|
Квартал 1
|
Январь
|
0
|
0
|
0
|
0
|
0
|
|
Февраль
|
0
|
0
|
0
|
0
|
0
|
|
Март
|
0
|
0
|
2
|
0
|
2
|
|
Квартал 2
|
Апрель
|
0
|
0
|
0
|
0
|
0
|
|
Май
|
0
|
0
|
0
|
0
|
0
|
|
Июнь
|
0
|
0
|
0
|
0
|
0
|
|
Квартал 3
|
Июль
|
0
|
0
|
0
|
0
|
0
|
|
Август
|
0
|
0
|
0
|
0
|
0
|
|
Сентябрь
|
0
|
0
|
4
|
0
|
4
|
|
Квартал 4
|
Октябрь
|
2
|
0
|
3
|
0
|
5
|
|
Ноябрь
|
0
|
0
|
2
|
0
|
2
|
|
Декабрь
|
1
|
0
|
0
|
0
|
1
|
|
Год 2024
|
Квартал 1
|
Январь
|
1
|
0
|
1
|
0
|
2
|
|
Февраль
|
0
|
0
|
0
|
0
|
0
|
|
Март
|
0
|
0
|
0
|
0
|
0
|
|
Квартал 2
|
Апрель
|
0
|
0
|
0
|
0
|
0
|
|
Всего
|
6
|
0
|
18
|
0
|
24
|
