Дробинцев, П.Д. Технологии автоматизированной верификации функциональных спецификаций программного обеспечения [Электронный ресурс] / П.Д. Дробинцев, В.П. Котляров. — (Секция "Информационные и управляющие системы"). — Электрон. текстовые дан. (1 файл : 85,9 Кб) // Материалы...24 - 29 ноября 2003г. [Электронный ресурс] / Санкт-Петербургский государственный политехнический университет. Межвузовская научно-техническая конференция, Неделя науки (32; 2003; Санкт-Петербург); Совет СПбГПУ по научно-исследовательской работе студентов; Под общ. ред. В.В. Глухова. – Санкт-Петербург. – 2004. – Факультет технической кибернетики. Факультет при ЦНИИ РТК. Институт интеллектуальных систем и технологий [Электронный ресурс]. — Загл. с титул. экрана. — Электрон. версия печ. публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 4.0. — <URL:http://elib.spbstu.ru/dl/005047.pdf>.
Period
|
Read
|
Print
|
Copy
|
Open
|
Total
|
Yesterday
|
0
|
0
|
0
|
0
|
0
|
Last 30 days
|
21
|
0
|
4
|
0
|
25
|
Last 365 days
|
93
|
0
|
53
|
0
|
146
|
All time
|
763
|
0
|
381
|
0
|
1,144
|