Карпов, Юрий Глебович. Технология программирования. Верификация параллельных и распределенных программных систем: учебное пособие / Ю. Г. Карпов; Санкт-Петербургский государственный политехнический университет. — Санкт-Петербург: Изд-во Политехн. ун-та, 2010 (Санкт-Петербург, 2020). — 1 файл (4,28 Мб). — Загл. с титул. экрана. — Цифровая копия печатной публикации 2010 г. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — <URL:http://elib.spbstu.ru/dl/2/si20-987.pdf>. — DOI 10.18720/SPBPU/2/si20-987. — Текст: электронный
| Период | Чтение | Печать | Копирование | Открытие | Итого |
|---|---|---|---|---|---|
| Вчера | 0 | 0 | 0 | 0 | 0 |
| Последние 30 дней | 2 | 0 | 2 | 0 | 4 |
| Последние 365 дней | 7 | 0 | 5 | 0 | 12 |
| За все время | 17 | 0 | 26 | 0 | 43 |