Детальная информация
| Название | Интегрированная методика автоматизированного построения формальных поведенческих моделей C-приложений по исходному коду: автореф. дис. … канд. техн. наук: 05.13.11 |
|---|---|
| Авторы | Юсупов Юрий Вадимович |
| Организация | Санкт-Петербургский государственный политехнический университет |
| Выходные сведения | СПб., 2009 |
| Коллекция | Научные работы аспирантов/докторантов; Общая коллекция |
| Тематика | Вычислительные машины электронные персональные — Программирование; Си (C) |
| УДК | 004.42'24(043.3) |
| Тип документа | Автореферат |
| Тип файла | |
| Язык | Русский |
| Код специальности ОКСВНК | 05.13.11 |
| Группа специальностей ОКСВНК | 050000 - Технические науки |
| Права доступа | Доступ из локальной сети ИБК СПбПУ (чтение) |
| Ключ записи | RU\SPSTU\edoc\16220 |
| Дата создания записи | 29.06.2009 |
Разрешенные действия
–
Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
| Группа | Анонимные пользователи |
|---|---|
| Сеть | Интернет |
| Место доступа | Группа пользователей | Действие |
|---|---|---|
| Локальная сеть ИБК СПбПУ | Все |
|
| Интернет | Все |
|
Количество обращений: 5
За последние 30 дней: 0
