?

Details
Table Card RUSMARC
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

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

Document access rights

Network User group Action
ILC SPbPU Local Network All Read Print Download
-> Internet All

Table of Contents

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

Usage statistics

stat Access count: 5
Last 30 days: 0
Detailed usage statistics