Логин (фамилия): Пароль (штрих-код):

Электронный каталог МУБиНТ - результаты поиска

Базы данных: 
Электронный каталог МУБиНТ, г. ЯрославльЭлектронный каталог МУБиНТ, г. РыбинскЦентр иностранной литературыСводный каталог НТЛ по Ярославской области"Руконт"-Национальный цифровой ресурсЭлектронный каталог выпускных квалификационных работ

Виды поиска: 
Стандартный Расширенный По словарю

Поиск в найденном
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=50.05$<.>)
Общее количество найденных документов : 88
Показаны документы с 21 по 40
 1..20  21..40  41..60  61..80    
21.
681.3
Д93


    Дьяконов, В. П.
    Справочник по алгоритмам и программам на языке бейсик для персональных ЭВМ [Текст] : справочник / В.П. Дьяконов. - М. : Наука, 1987. - 240 с. : рис. - Библиогр.: с. 237-238. - Прем. указ.: с. 239-240. - 1.40 р.
    Содержание:
Основные характеристики и возможности персональных ЭВМ. Бейсик - основной язык программирования персональных ЭВМ. Алгоритмы и программы элементарных вычислений. Прикладные программы технических и экономических расчетов.
ГРНТИ
УДК
ББК 22.18
Рубрики: Информатика--Языки программирования
Аннотация: Даны краткие сведения о микроЭВМ индивидуального пользования. Описаны основные версии бейсика. Изложены основы программирования на бейсике. Особое внимание уделено общему математическому, алгоритмическому и программному обеспечению расчетов на ПЭВМ.
, Чит. зал
Свободных экз. нет
Найти похожие

22.
681.3
Е34


    Еднерал, В. Ф.
    Язык аналитических вычислений REDUSE [Текст] : научное издание / В. Ф. Еднерал, А. П. Крюков, А. Я. Родионов. - М. : Изд-во МГУ, 1988. - 176 с. : табл. - Библиогр.: с. 174-177. - ISBN 5-211-00187-7 : 1.10 р.
    Содержание:
Язык аналитических вычислений REDUSE. Пакеты прикладных программ. Символьная мода вычислений в системе REDUSE. Язык управления заданиями.
ГРНТИ
УДК
Рубрики: Информатика--Программирование--Языки программирования
Аннотация: Издание посвящено систематическому изложению языка аналитических вычислений REDUSE. Основные возможности языка включают в себя операции над полиномами и рациональными функциями, матричную алгебру, др.

Держатели документа:
МУБиНТ : 150003, г. Ярославль, ул. Советская, 80

Доп.точки доступа:
Крюков, А.П.; Родионов, А.Я. , Чит. зал
Свободных экз. нет
Найти похожие

23.
681.3
М82


    Москвитина, А. А.
    БЕЙСИК [Текст] : учебное пособие для сред. спец. учеб. заведений / А.А. Москвитина, В.С. Новичков. - М. : Высшая школа, 1989. - 192 с. : ил. - (Алгоритмические языки в техникуме). - ISBN 5-06-000141-5 : 0.35 р.
    Содержание:
Основные понятия алгоритмического языка Бейсик
Программирование линейных алгоритмов
Организация ввода и вывода информации
Программирование циклических алгоритмов
Использование массивов
Прикладные программы на языке Бейсик
ГРНТИ
УДК
ББК 32.973
Рубрики: Информатика--Языки программирования
Аннотация: Рассмотрены вопросы программирования на алгоритмическом языке Бейсик. Изложены основные понятия языка и приемы программирования основных типов вычислительных процессов. Приведены примеры.


Доп.точки доступа:
Новичков, В.С. , Абонемент
Свободных экз. нет
Найти похожие

24.
681.3
Л69


   
    Логическое программирование [Текст] : пер. с англ. и фр / Под ред. В.Н. Агафонова. - М. : Мир, 1988. - 368 с. : ил. - ISBN 5-03-000972-8 : Б. ц.
    Содержание:
О логическом программировании пишут известные зарубежные специалисты.
ГРНТИ
УДК
ББК 32.973
Рубрики: Информатика
Аннотация: Сборник отражает состояние направления программирования, тесно связанном с математической логикой. Это направление развивается как в теоретическом, так и практическом плане, включая в себя новые языки, методы реализации и проекты машинных архитектур.
Абонемент
Свободных экз. нет
Найти похожие

25.
681.3
У63


    Уолш, Б.
    Программирование на Бейсике [Текст] = Proper BASIC : пер. с англ / Б. Уолш; Пер. И.В. Емелин. - М. : Радио и связь, 1988. - 336 с. : рис. - Предм. указ.: с. 326-332. - ISBN 5-256-00437-9 : 1.40 р.
    Содержание:
Введение
Подготовка и исполнение программы
Другие основы программирования на Бейсике
Модульное программирование
Другие концепции программирования
Расширения Бейсика
Работа с матрицами
Файлы
Разработка программ
ГРНТИ
УДК
ББК 32.973
Рубрики: Информатика--Языки программирования
Аннотация: В книге содержатся сведения о языке программирования Бейсик, предназначенные как для начинающих, так и для опытных программистов. Приведено большое количество примеров и задач с решениями.


Доп.точки доступа:
Емелин, И.В. \пер.\ , Абонемент, Чит. зал
Свободных экз. нет
Найти похожие

26.
681.3
У97


    Уайт, М.
    Язык Си. Руководство для начинающих [Текст] = C Primer Plus : пер. с англ / М. Уайт, С. Прата, Д. Мартин;. - М. : Мир, 1988. - 512 с. : рис. - Предм. указ.: с. 504. - ISBN 5-03-001309-1 : 2.10 р.
    Содержание:
Вступление
Введение в язык Си
Данные, язык Си и вы
Символьные строки, директива # define, функции printf () и scanf ()
Операции, выражения и операторы
Функции и переключение ввода-вывода
Выбор вариантов
Циклы и другие управляющие средства
Как правильно пользоваться функциями
Классы памяти и разработка программ
Препроцессор языка Си
Массивы и указатели
Символьные строки и функции над строками
Структуры и другие типы данных
Библиотека языка Си и файлы ввода-вывода
ГРНТИ
УДК
ББК 32.973
Рубрики: Информатика--Языки программирования
   Вычислительная техника--Программное обеспечение

Аннотация: Книга знакомит с языком программирования Си. Этот язык приобрел за рубежом большую популярность главным образом в связи с широким применением операционной системы UNIX. Уделено внимание методам составления программ и выработке навыков программирования.

Держатели документа:
МУБиНТ : 150003, г. Ярославль, ул. Советская, 80

Доп.точки доступа:
Прата, С.; Мартин, Д.; Трахтенгерц, Э. А. \ред.\; Горинович, Л. Н. \пер.\; Явнилович, В. С. \пер.\ , Абонемент, Чит. зал
Свободных экз. нет
Найти похожие

27.
681.3
А16


    Абрамов, С. А.
    Начала программирования на языке Паскаль [Текст] : научно-популярная литература / С. А. Абрамов, Е. В. Зима. - М. : Наука, 1987. - 112 с. - 0.20 р.
    Содержание:
Основные средства программирования. Ряд дополнительных возможностей. Нестандартные типы. Процедуры и функции. Ссылки, списки, деревья.
ГРНТИ
УДК
ББК 22.18
Рубрики: Информатика--ПРОГРАММИРОВАНИЕ--Языки программирования
Аннотация: Предлагается сокращенный вариант программирования на языке Паскаль. Разбирается большое число примеров и предлагаются задачи для самостоятельного решения.

Держатели документа:
МУБиНТ : 150003, г. Ярославль, ул. Советская, 80

Доп.точки доступа:
Зима, Е. В.
Экземпляры всего: 3
Абонемент (2), Чит. зал (1)
Свободны: Абонемент (2), Чит. зал (1)
Найти похожие

28.
681.3
К82


    Кристиан, К.
    Руководство по программированию на языке Модула-2 [Текст] = A Guide to Modula-2 : Пер. с англ / К. Кристиан ; ред. А. К. Петренко ; пер.: Д. Ю. Аболин, Д. М. Арапов, М. Г. Тонконогов. - М. : Мир, 1989. - 463 с. : рис. - (Математическое обеспечение ЭВМ). - Предм. указ.: с. 460. - ISBN 5-03-001117-X :
    Содержание:
Переход к Модуле-2
Модули
Развитые типы данных
Системное программирование
ГРНТИ
УДК
ББК 32.973
Рубрики: Информатика--Языки программирования
Аннотация: Книга содержит описание языка Модула-2, его инструкций, стиля программирования. Дается ряд заданий для изучающих язык самостоятельно.

Держатели документа:
МУБиНТ : 150003, г. Ярославль, ул. Советская, 80

Доп.точки доступа:
Петренко, А. К. \ред.\; Аболин, Д. Ю. \пер.\; Арапов, Д. М. \пер.\; Тонконогов, М. Г. \пер.\ Чит. зал
Свободных экз. нет
Найти похожие

29.
681.3
С58


    Сойер, Б.
    Программирование экспертных систем на Паскале [Текст] = Programming expert systems in Pascal : пер. с англ / Б. Сойер, Д. Л. Фостер ; пер. В. А. Белов. - М. : Финансы и статистика, 1990. - 191 с. : рис. - Предм. указ.: с. 190. - ISBN 5-279-00449-9 : 0.55 р.
    Содержание:
Экспертные системы в перспективе
Искусственный интеллект и экспертные системы
Элементы экспертных систем.
Проектирование экспертной системы.
Построение экспертной системы
Представление фактов.
Управление фактами в базе знаний.
Представление знаний
Представление неопределенности
Использование многозначных выражений.
Вопросы и разрешенные значения
Чтение правил.
Достижение цели.
Экспертная система в действии
Создание подсистемы объяснения
Использование экспертных систем
Взаимодействие экспертной системы с существующими приложениями
ГРНТИ
УДК
ББК 24.4.1
Рубрики: Информатика--Языки программирования
Аннотация: Описаны архитектура и процесс создания набольшой продукционной системы на языке Турбо Паскаль с обратной последовательностью вывода. Система документирована полными листингами программ и примерами небольших баз знаний.

Держатели документа:
МУБиНТ : 150003, г. Ярославль, ул. Советская, 80

Доп.точки доступа:
Фостер, Д. Л.; Белов, В. А. \пер.\
Экземпляры всего: 1
Абонемент (1)
Свободны: Абонемент (1)
Найти похожие

30.
681.322/К95

    Кучура, Н. А.
    Персональные ЭВМ Единой системы: Бейсик [Текст] / Н.А. Кучура, М.В. Ходош, В.И. Цагельский. - М. : Финансы и статистика, 1988. - 207 с. : ил. - ISBN 5-279-00112-0 : Б. ц.
    Содержание:
Введение в систему программирования Бейсик. Основные средства языка Бейсик. Организация ввода-вывода. Расширенные возможности системы программирования Бейсик.
ГРНТИ
УДК
ББК 32.973-01
Рубрики: Информатика
Аннотация: Описываются элементы языка Бейсик (операторы, команды, функции), типы данных, файлы. Приводятся примеры программ, комментируется их построение и выполнение на ЭВМ.

Экземпляры всего: 1
Абонемент (1)
Свободны: Абонемент (1)
Найти похожие

31.
681.3
Т33


    Теннант-Смит, Дж.
    Бейсик для статистиков [Текст] = BASIC statistics : пер. с англ / Дж. Теннант-Смит; Ред. А.А. Савченко, Пер. А.А. Савченко. - М. : Мир, 1988. - 207 с. : рис. - Библиогр.: с. 196-197. - Предм. указ.: с. 198-203. - Указ . программ и операторов: с. 204-205. - ISBN 5-03-000725-3 : 1.20 р.
    Содержание:
Введение в Бейсик.
Элементарная описательная статистика.
Скорость и точность вычислений.
Элементарная теория вероятностей и моделирование
Дополнительная описательная статистика
Случайные величины и распределения вероятностей
Непрерывные случайные величины и функции плотности распределений вероятностей
Выборочный метод и оценивание.
Проверка гипотез.
Регрессия и корреляция.
Другие статистические модели и методы
ГРНТИ
УДК
ББК 32.97 + 22.172
Рубрики: Информатика--Языки программирования
Аннотация: Книга посвящена применению языка Бейсик к решению прикладных статистических задач. Дается краткое изложение основных вероятностных и статистических методов. Для математиков-прикладников, программистов.


Доп.точки доступа:
Савченко, А.А. \ред.\; Савченко, А.А. \пер.\ , Абонемент, Чит. зал
Свободных экз. нет
Найти похожие

32.
681.3
Я41


   
    Язык Пролог в пятом поколении ЭВМ [Текст] : Сборник статей [1983-1986 гг.] : Пер. с англ / К. Фути [и др.] ; ред. Н. И. Ильинский ; пер.: В. Г. Волченков [и др.]. - М. : Мир, 1988. - 501 с. : риc. - ISBN 5-03-000537-4 : 2.60 р.
    Содержание:
К вычислительным системам пятого поколения
ESP- предварительная версия базового языка программирования компьютеров пятого поколения
Абстрактные типы данных в PROLOG/KR
Расширение пролога для работы с негативными знаниями
ShapeUp- язык обработки информационных знаний
Операционная система последовательной машины вывода - основные концепции
Объктно-ориентированное программирование в Параллельном Прологе
Слияние с ограниченным ожиданием в Параллельном Прологе Шапиро
Чистые, косвенные и самобалансирующиеся операторы слияния: спецификация и реализация в Параллельном Прологе
Упорядочивание редукции процессов в Параллельном Прологе
Многоканальное слияние с постоянной задержкой в Параллельном Прологе
Пролог средствами функционального программирования
Эффективный алгоритм управления памятью Пролог-программ, допускающий гибкие стратегии управления
Максимальные унифицируемые и минимальные неунифицированные подмножества
Высокопараллельный механизм вывода - модель трансформации целей и архитектура машины
ORBIT- параллельная модель выполнения Пролог-программ
Конвейерный Пролог-процессор
ИЛИ - параллельная потоковая Пролог-машина
Последовательная Пролог-машина РЕК
Спецификация и инициализация логической вычислительной системы
Система восходящего грамматического разбора (ВГР), встроенная в Пролог
Применение Пролога для синтеза логических схем
Пролог и автоматическое доказательство теорем
Исчисление событий, основанное на логике
Определение чисто функционального языка HASL средствами языка Пролог
Логическое программирование как средство разработки экспертных систем
Преобразование программ посредством метасдвига
Трансляция продукционных правил в Пролог-программу с прямой стратегией вывода
ГРНТИ
УДК
ББК 22.18
Рубрики: Информатика--Языки программирования
Аннотация: Сборник статей посвящен одной из базовых концепций проекта вычислительных систем пятоого поколения - логическому программированию. Рассматривается широкий круг проблем, связанных с развитием языковых аспектов логического программирования и аппаратной и программной реализацией.

Держатели документа:
МУБиНТ : 150003, г. Ярославль, ул. Советская, 80

Доп.точки доступа:
Фути , К.; Тикаяма, Т.; Аида, Х.; Танака, Х.; Мотоока, Т.; Ильинский, Н. И. \ред.\; Волченков, В. Г. \пер.\; Волшаник, Т. В. \пер.\; Козинцев, И. Б. \пер.\; Русаков, В. А. \пер.\; Сергиевский, Г. М. \пер.\; Синицын, С. В. \пер.\ , Чит. зал
Свободных экз. нет
Найти похожие

33.
681.3
Ш76


    Шнайдер, А.
    Язык ассемблера для персонального компьютера фирмы IBM [Текст] : пер. с англ / А. Шнайдер. - М. : Мир, 1988. - 406 с. : ил. - ISBN 5-03-000394-0 : Б. ц.
    Содержание:
Технические средства. Программное обеспечение. Основные сведения об ассемблере. Архитектура аппаратных средств. Команды. Программирование ввода-вывода.
ГРНТИ
УДК
ББК 32.97
Рубрики: Информатика
Аннотация: Это пособие по программированию на языке ассемблера. Уделяется внимание написанию, отладке и выполнению программ.

Экземпляры всего: 1
Абонемент (1)
Свободных экз. нет
Найти похожие

34.
681.3
К36


    Кергаль, М.
    Методы программирования на Бейсике (с упражнениями) [Текст] : пер. с фр. / М. Кергаль ; ред. Ю. М. Баяковский ; пер. А. И. Бряндинский = Methodes de Programmation en Basic : avec 120 exercices corriges / Y. Kergall. - М. : Мир, 1991. - 287 с. : рис. - Табл. кодов ASCII: с. 277. - Указ. ключевых слов Бейсика: с. 278. - Англ.-рус. слов. терминов: с. 279. - Библиогр.: с. 280. - Предм. указ.: с. 281-283. - ISBN 5-03-001564-7 : 2.70 р.
    Содержание:
Основные этапы истории информатики. Знакомство с вычислительной машиной. Основные инструкции. Условные структуры. Итеративные структуры: циклы. Цепочки литер. Массивы. Файлы. Методы анализа.
ГРНТИ
УДК
ББК 22.193
Рубрики: Информатика--Языки программирования
   Вычислительная техника--Программное обеспечение

Аннотация: Книга дает описание методов программирования на Бейсике. Приводятся 120 упражнений, часть из которых сопровождается комментариями и ответами.

Держатели документа:
МУБиНТ : 150003, г. Ярославль, ул. Советская, 80

Доп.точки доступа:
Баяковский, Ю. М. \ред.\; Бряндинский, А. И. \пер.\ , Чит. зал
Свободных экз. нет
Найти похожие

35.
681.3
Т38


    Технические средства АСУ [Текст] : справочник. В 2-х томах / Ред. Г.Б. Кезлинг.Технические средства ЕС ЭВМ / Б. В. Карпов [и др.]. - Л. : Машиностроение. Ленинградское отделение, 1986. - 544 с. : рис. - Библиогр.: с. 535-536. - 1.90 р.
    Содержание:
Общая характеристика ЕС ЭВМ.
ЭВМ, процессоры, ОЗУ.
Внешние запоминающие устройства.
Устройства ввода-вывода.
Устройства систем телеобработки данных
Устройства подготовки данных
Многомашинные вычислительные комплексы и многопроцессорные системы
ГРНТИ
УДК
ББК 32.97я2
Рубрики: Вычислительная техника--Программное обеспечение
   Вычислительная техника--Физические основы ЭВМ

Аннотация: В справочнике систематизированы сведения об ЭВМ серии ЕС, о внешних и периферийных устройствах, применяемых в АСУ, системах телеобработки данных и обработки информации. Даны основные технические характеристики, структурные схемы, рекомендации по применению.

Держатели документа:
МУБиНТ : 150003, г. Ярославль, ул. Советская, 80

Доп.точки доступа:
Кезлинг Г.Б. \ред.\; Карпов, Б. В.; Кезлинг, Г. Б.; Леонтьев, Д. И.; Лозинский, Н. Н.; Лаврусенко, Р. С.; Палачев, В. Я.; Тюрин, Р. А.; Филиппов, А. М.; Белеевская, Т. М. , Абонемент, Чит. зал
Свободных экз. нет
Найти похожие

36.
681.3
Д93


    Дьяконов, В. П.
    Применение персональных ЭВМ и программирование на языке Бейсик [Текст] : научно-популярная литература / В.П. Дьяконов. - М. : Радио и связь, 1989. - 287 с. : рис. - Библиогр.: с. 280-282. - Предм. указ.: с. 283-284. - ISBN 5-256-00343-7 : 1.20 р.
    Содержание:
Общие сведения о ПЭВМ. Основы программирования расчетных операций на языке Бейсик. Программирование графики и звуковых эффектов. Некоторые применения ПЭВМ.
ГРНТИ
УДК
ББК 22.18
Рубрики: Информатика--Языки программирования
   Программирование

Аннотация: Описаны версии языка Бейсик персональных ЭВМ. Даны основы программирования на Бейсике. Уделено внимание описанию его расширенных возможностей. Приведено около 160 программ демонстрации возможностей ПЭВМ.
, Чит. зал
Свободных экз. нет
Найти похожие

37.
681.3
С87


    Стрыгин, В. В.
    Основы вычислительной, микропроцессорной техники и программирования [Текст] : учебник для учащихся техникумов / В. В. Стрыгин, Л. С. Щарев. - 2-е изд., перераб. и доп. - М. : Высшая школа, 1989. - 479 с. : рис. - Предм. указ.: с. 470-472. - Библиогр.: с. 473-474. - ISBN 5-06-000140-7 : 1.30 р.
    Содержание:
Принципы построения аналоговых вычислительных машин
Решение задач на аналоговых вычислительных машинах
Принципы построения электронных вычислительных машин
Арифметические и логические основы ЭВМ
Элементы электронных вычислительных машин
Узлы электронных вычислительных машин
Арифметическо-логические устройства процессоров
Устройства управления электронных вычислительных машин
Устройства памяти электронных вычислительных машин
Микропроцессоры и микроЭВМ
Каналы обмена и интерфейс ЭВМ
Периферийные устройства ЭВМ
Вычислительные и микропроцессорные средства в системах управления
Принципы программирования для ЭВМ
Автоматизация программирования
Общесистемное программное обеспечение ЕС ЭВМ
Машинно-ориентированное программирование на языке Ассемблера
Проблемно-ориентированное программирование на языке PL/1
Программирование на языке Паскаль
Программирование на языке Бейсик
Программирование в среде систем управления базами данных
ГРНТИ
УДК
ББК 32.971
Рубрики: Информатика--Программирование--Языки программирования
   Вычислительная техника--Физические основы ЭВМ--ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ

   Вычислительная техника

Аннотация: Изложены принципы построения аналоговых и электронных вычислительных машин, процессоров, микроЭВМ, устройств управления, сведения о принципах программного управления работой ЭВМ и приемах составления программ.

Держатели документа:
МУБиНТ : 150003, г. Ярославль, ул. Советская, 80

Доп.точки доступа:
Щарев, Л. С.
Экземпляры всего: 1
Абонемент (1), Чит. зал
Свободны: Абонемент (1)
Найти похожие

38.
681.3
Л92


    Лэнгсам, Й.
    Структуры данных для персональных ЭВМ [Текст] = Data Structures for Personal Computers : пер. с англ / Й. Лэнгсам, М. Огенстайн, А. Тененбаум; Пер. Л. П. Викторов, Пер. С. А. Усов, Пер. Д. Б. Шехватов. - М. : Мир, 1989. - 568 с. : рис. - Библиогр.: с. 557-559. - Предм. указ.: с. 560-566. - ISBN 5-03-000538-2 : 3.10 р.
    Содержание:
Введение в структуры данных
Программирование на языке Бейсик
Стек
Очереди и списки
Рекурсия
Деревья
Графы и их приложения
Сортировка
Поиск
ГРНТИ
УДК
ББК 32.973
Рубрики: Информатика--Программирование--Языки программирования
Аннотация: Излагаются вопросы организации структур данных на основе использования рекурсии, методы сортировки и поиска информации, принципы работы со стеками и очередями. Приводятся примеры реализации методов программирования на основе языка Бейсик.

Держатели документа:
МУБиНТ : 150003, г. Ярославль, ул. Советская, 80

Доп.точки доступа:
Огенстайн, М.; Тененбаум, А.; Викторов, Л. П. \пер.\; Усов, С. А. \пер.\; Шехватов, Д. Б. \пер.\
Экземпляры всего: 1
Абонемент (1)
Свободны: Абонемент (1)
Найти похожие

39.
681.3
С46


    Скэнлон, Л.
    Персональные ЭВМ IBM PC и ХТ. Программирование на языке ассемблера [Текст] = IBM PC & XT Assembly Language A Guide for Programmers Enhanced and Enlarged : пер. с англ / Л. Скэнлон; Пер. И.В. Емелин. - М. : Радио и связь, 1989. - 336 с. : рис. - Указатель терминов: с. 327-332. - Указатель команд и псевдооператоров: с. 333. - ISBN 5-256-00300-3 : 2.00 р. !Oprimd_W.pft: FILE NOT FOUND!
ГРНТИ
УДК
ББК 32.973
Рубрики: Вычислительная техника--Программное обеспечение
   Информатика--Языки программирования

Аннотация: Рассмотрен круг вопросов, связанных с программированием на языке ассемблера для персональных ЭВМ. Приведены полные системы команд микропроцессоров. Рассмотрены вопросы использования ресурсов операционной системы DOS и управления внешними устройствами, работа с клавиатурой. Приведены примеры.


Доп.точки доступа:
Емелин, И.В. \пер.\ , Чит. зал
Свободных экз. нет
Найти похожие

40.
681.3
А23


   
    Спецификация программ: понятийные средства и их организация [Текст] / Агафонов В.Н. - 2-е изд., испр. и доп. - Новосибирск : Наука. Сибирское отделение, 1990. - 224 с. - ISBN 5-02-029666-Х : Б. ц.
    Содержание:
Понятийные средства спецификации программ. Способы организации понятийных средств.
ГРНТИ
УДК
Рубрики: Информатика
Аннотация: Монография посвящена этапу проектирования программ - этапу описания решаемых задач. Анализируется проблема спецификации программ, рассматриваются основные классы понятий, используемых в качестве средств описания.
Абонемент
Свободных экз. нет
Найти похожие

 1..20  21..40  41..60  61..80