Главная
Авторизация
Фамилия
Пароль
 

Базы данных


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

Вид поиска
Каталог книг и продолжающихся изданий библиотеки Института биофизики СО РАН
Иностранные журналы библиотеки Института биофизики СО РАН
Отечественные журналы библиотеки Института биофизики СО РАН
Каталог диссертаций ИБФ СО РАН
Труды сотрудников ИБФ СО РАН
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=программные модули<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.

Вид документа : Однотомное издание
Шифр издания : З973/Т 61
Автор(ы) : Торопов, Николай Романович
Заглавие : Диалоговая система программирования ЛЕС : монография
Выходные данные : Минск: Наука и техника, 1985
Колич.характеристики :264 с.: ил.
Коллективы : Академия наук Белорусской ССР, Институт технической кибернетики
Цена : 1.80 р.
ГРНТИ : 50.41.25
УДК : 681.142.2.069 + 681.142.2.062
ББК : З973.203.1-018.11
Ключевые слова (''Своб.индексиров.''): отладка программ--диалоговый язык--программные модули--структуры данных--операционная среда--алгоритмические языки
Экземпляры :ИБФ-КФ(1)
Свободны : ИБФ-КФ(1)
Найти похожие
2.

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

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

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