Карпов, Юрий Глебович. Технология программирования. Верификация параллельных и распределенных программных систем: учебное пособие / Ю. Г. Карпов; Санкт-Петербургский государственный политехнический университет. — Санкт-Петербург: Изд-во Политехн. ун-та, 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 дней
|
0
|
0
|
0
|
0
|
0
|
|
Последние 365 дней
|
4
|
0
|
10
|
0
|
14
|
|
За все время
|
6
|
0
|
18
|
0
|
24
|
