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 | |
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 |
|
Internet | All |
|
- ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ
- СОДЕРЖАНИЕ РАБОТЫ
- ЗАКЛЮЧЕНИЕ
- СПИСОК ПУБЛИКАЦИЙ ПО ТЕМЕ ДИССЕРТАЦИИ
Access count: 5
Last 30 days: 0