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

Главная

Базы данных

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

Вид поиска

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

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

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

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

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

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

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

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

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

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

Вид документа : Однотомное издание
Шифр издания : З973/Д 63
Автор(ы) : Докукина, Тамара Константиновна
Заглавие : Программирование и алгоритмические языки : учеб. для сред. спец. заведений
Выходные данные : Москва: Машиностроение, 1988
Колич.характеристики :496 с.: рис., табл.
Серия: Для техникумов
Примечания : Библиогр.: с. 478. - Предм. указ.: с. 479-489
ISBN, Цена 5-217-00334-0: 1.20 р.
УДК : 004.43
ББК : 3973.2-018я72
Ключевые слова (''Своб.индексиров.''): системы счисления--формы представления чисел--теории алгоритмов--язык pl/1--операторы языка--структура программы--язык паскаль--множества--массивы--записи--файлы--динамические структуры данных--язык ассемблер--машинные команды--микросреда языка--подпрограммы
Аннотация: Рассматриваются вопрсы, необходимые для приобретения навыков разработки программ на алгоритмических языках PL/1,Паскаль и Ассемблера для ЕС ЭВМ.
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : З-973/Н 53
Автор(ы) : Непомнящий, Валерий Алекесандрович, Рякин, Олег Михайлович
Заглавие : Прикладные методы верификации программ : монография
Выходные данные : Москва: Радио и связь, 1988
Колич.характеристики :256 с.: ил.; 20 см
Примечания : Библиогр.: с. 252-254
ISBN, Цена 5-256-00156-6: 0.80 р.
ГРНТИ : 50.05
УДК : 681.3.06
ББК : З-973
Предметные рубрики: Вычислительная техника-- Программирование
Ключевые слова (''Своб.индексиров.''): программирование--типы данных--структура программы--подпрограммы--программные модули--анализ корректности программ--семантика программ
Аннотация: Излагаются основы современной методологии верификации программ с позиций ее практического использования в процессе разработки программ на алгоритмических языках высокого уровня.
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие

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

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

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

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

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

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

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

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

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

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