Вид документа : Однотомное издание Шифр издания : 6П2.154.5/Г 85 Автор(ы) : Грис Д. Заглавие : Наука программирования : Монография Выходные данные : Москва: Мир , 1984 Колич.характеристики :416 с.: ил.; 21см Примечания : Библиогр.: с. 413-414(44) Цена : 1.90, р. УДК : 6П2.154.5 Предметные рубрики: Математическая кибернетика Ключевые слова (''Своб.индексиров.''): математика--кибернетика--математическая кибернетика--программа--программа--логика--высказывание--рассуждение--предикат--выбор--массив--обозначение--документирование--доказательство--команда--повторение--присваивание--построение--инвариант Экземпляры :ТО(1) Свободны : ТО(1) Доп.точки доступа: Ершов, А. П. \ред.\; Непейвода, Н. Н. \пер.\