?

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

Разрешенные действия: –

Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети

Группа: Анонимные пользователи

Сеть: Интернет

Права на использование объекта хранения

Место доступа Группа пользователей Действие
Локальная сеть ИБК СПбПУ Все Прочитать Печать Загрузить
-> Интернет Все

Оглавление

  • ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ
  • СОДЕРЖАНИЕ РАБОТЫ
  • ЗАКЛЮЧЕНИЕ
  • СПИСОК ПУБЛИКАЦИЙ ПО ТЕМЕ ДИССЕРТАЦИИ

Статистика использования

stat Количество обращений: 5
За последние 30 дней: 0
Подробная статистика