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
