Details

Title Интегрированная методика автоматизированного построения формальных поведенческих моделей C-приложений по исходному коду: автореф. дис. … канд. техн. наук: 05.13.11
Creators Юсупов Юрий Вадимович
Organization Санкт-Петербургский государственный политехнический университет
Imprint СПб., 2009
Collection Научные работы аспирантов/докторантов ; Общая коллекция
Subjects Вычислительные машины электронные персональные — Программирование ; Си (C)
UDC 004.42'24(043.3)
Document type Author's Abstract
File type PDF
Language Russian
Speciality code (OKSVNK) 05.13.11
Speciality group (OKSVNK) 050000 - Технические науки
Rights Доступ из локальной сети ИБК СПбПУ (чтение)
Record key RU\SPSTU\edoc\16220
Record create date 6/29/2009

Allowed Actions

Action 'Read' will be available if you login or access site from another network

Action 'Download' will be available if you login or access site from another network

Group Anonymous
Network Internet
Network User group Action
ILC SPbPU Local Network All
Read Print Download
Internet All
  • ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ
  • СОДЕРЖАНИЕ РАБОТЫ
  • ЗАКЛЮЧЕНИЕ
  • СПИСОК ПУБЛИКАЦИЙ ПО ТЕМЕ ДИССЕРТАЦИИ

Access count: 5 
Last 30 days: 0

Detailed usage statistics