Шошмина, Ирина Владимировна. Метод разработки формальных контекстных требований для верификации программных систем логического управления [Электронный ресурс]: автореф. дис. … канд. техн. наук: 05.13.11 / Шошмина Ирина Владимировна; Санкт-Петербургский политехнический университет Петра Великого. — Электрон. текстовые дан. (1 файл : 355 Кб). — Санкт-Петербург, 2015. — Загл. с титул. экрана. — Электронная версия печатной публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/5616.pdf>.
|
Period
|
Read
|
Print
|
Copy
|
Open
|
Total
|
|
Yesterday
|
0
|
0
|
0
|
0
|
0
|
|
Last 30 days
|
3
|
0
|
4
|
0
|
7
|
|
Last 365 days
|
21
|
0
|
47
|
0
|
68
|
|
All time
|
254
|
0
|
273
|
0
|
527
|
