Библиотека института биофизики СО РАН

Главная

Базы данных

Каталог книг и продолжающихся изданий библиотеки Института биофизики СО РАН - результаты поиска

Вид поиска

Каталог книг и продолжающихся изданий библиотеки Института биофизики СО РАН

Иностранные журналы библиотеки Института биофизики СО РАН

Отечественные журналы библиотеки Института биофизики СО РАН

Каталог диссертаций ИБФ СО РАН

Труды сотрудников ИБФ СО РАН

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=структура программы<.>)

Общее количество найденных документов : 2
Показаны документы с 1 по 2

   З973
   Д 63
З-97 / Д 63-ИБФ-КФ

    Докукина, Тамара Константиновна.
    Программирование и алгоритмические языки [Текст] : учеб. для сред. спец. заведений / Т. К. Докукина. - Москва : Машиностроение, 1988. - 496 с. : рис., табл. - (Для техникумов). - Библиогр.: с. 478. - Предм. указ.: с. 479-489. - ISBN 5-217-00334-0 : 1.20 р.

УДК

004.43

ББК 3973.2-018я72

Кл.слова (ненормированные):
системы счисления -- формы представления чисел -- теории алгоритмов -- язык PL/1 -- операторы языка -- структура программы -- язык Паскаль -- множества -- массивы -- записи -- файлы -- динамические структуры данных -- язык Ассемблер -- машинные команды -- микросреда языка -- подпрограммы
Аннотация: Рассматриваются вопрсы, необходимые для приобретения навыков разработки программ на алгоритмических языках PL/1,Паскаль и Ассемблера для ЕС ЭВМ.

Держатели документа:
Библиотека института биофизики СО РАН : 660036, Академгородок, 50/12
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие

   З-973
   Н 53
З-9 / Н 53-ИБФ-КФ

    Непомнящий, Валерий Алекесандрович.
    Прикладные методы верификации программ [Текст] : монография / В. А. Непомнящий, О. М. Рякин ; ред. А. П. Ершов. - Москва : Радио и связь, 1988. - 256 с. : ил. ; 20 см. - Библиогр.: с. 252-254. - ISBN 5-256-00156-6 : 0.80 р.

ГРНТИ	50.05
УДК	681.3.06

ББК З-973
Рубрики:
Вычислительная техника--Программирование
Кл.слова (ненормированные):
программирование -- типы данных -- структура программы -- подпрограммы -- программные модули -- анализ корректности программ -- семантика программ
Аннотация: Излагаются основы современной методологии верификации программ с позиций ее практического использования в процессе разработки программ на алгоритмических языках высокого уровня.

Держатели документа:
Библиотека института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Рякин, Олег Михайлович; Ершов, А. П. \ред.\
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие

Тематический навигатор

Другие библиотеки

Библиотека института физики

Центральная научная библиотека КНЦ СО РАН

Библиотека института химии и химический технологии

Библиотека института вычислительного моделирования

Библиотека института леса

Библиотека СФУ

Краевая научная библиотека

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)