С 17 марта 2020 г. для ресурсов (учебные, научные, материалы конференций, статьи из периодических изданий, авторефераты диссертаций, диссертации) ЭБ СПбПУ, обеспечивающих образовательный процесс, установлен особый режим использования. Обращаем внимание, что ВКР/НД не относятся к этой категории.

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: Доступ из локальной сети ИБК СПбПУ (чтение)

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 Authorized users Read Print Download
-> Internet Anonymous

Table of Contents

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

Usage statistics

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