Юсупов, Юрий Вадимович. Интегрированная методика автоматизированного построения формальных поведенческих моделей C-приложений по исходному коду [Электронный ресурс]: автореф. дис. … канд. техн. наук: 05.13.11 / Ю. В. Юсупов; Санкт-Петербургский государственный политехнический университет. — Электрон. текстовые дан. (1 файл : 362 Кб). — СПб., 2009. — Загл. с титул. экрана. — Электрон. версия печ. публикации. — Доступ из локальной сети ИБК СПбПУ (чтение). — Текстовый файл. — Adobe Acrobat Reader 6.0. — <URL:http://elib.spbstu.ru/dl/local/1747.pdf>.
|
Period
|
Read
|
Print
|
Copy
|
Open
|
Total
|
|
Yesterday
|
0
|
0
|
0
|
0
|
0
|
|
Last 30 days
|
0
|
0
|
0
|
0
|
0
|
|
Last 365 days
|
0
|
0
|
0
|
0
|
0
|
|
All time
|
3
|
0
|
2
|
0
|
5
|
