Значок книги

Проектирование корректных структурированных программ С. Алагич, М. А. Арбиб

Сохранить в:

Библиографические подробности
Автор:	Алагич С.
Другие авторы:	Арбиб М. А.
Тип документа:	Книга
Язык:	Russian English
Год издания:	Москва Радио и связь 1984
Рубрика:	Математическое обеспечение Проектирование
Ключевые слова:	Цифровые вычислительные машины Математическое обеспечение Проектирование

Схожие документы

Производственные методы разработки программ
Автор: Волховер В. Г.
Год издания: (1983)

Диалоговый комплекс программ Краб
Автор: Гуляев А. В.
Год издания: (1985)

Проектирование операционных систем для малых ЭВМ
Автор: Кейслер С.
Год издания: (1986)

Доказательство правильности программ
Автор: Андерсон Р.
Год издания: (1982)

Структуры данных и проектирование эффективной вычислительной среды
Автор: Кожевникова Г. П.
Год издания: (1986)

Оценка качества программ ЭВМ
Автор: Кулаков А. Ф.
Год издания: (1984)

Методы проектирования программных систем
Автор: Зиглер К.
Год издания: (1985)

Инженерное проектирование программного обеспечения
Автор: Боэм Б. У.
Год издания: (1985)

Как писать руководства для пользователей ЭВМ
Автор: Гримм С. Дж.
Год издания: (1985)

Методы управления проектированием программного обеспечения
Автор: Гантер Р.
Год издания: (1981)

Введение в операционную систему UNIX
Автор: Банахан М.
Год издания: (1986)

Элементы операционных систем
Автор: Кейлингерт П.
Год издания: (1985)

Задачи, программы, вычисления, результаты
Автор: Квиттнер П.
Год издания: (1980)

Операционные системы
Автор: Бахарев И. А.
Год издания: (1986)

Прикладные программы
Автор: Гурова Л. И.
Год издания: (1980)

Математическое обеспечение ЭВМ
Автор: Алферова З. В.
Год издания: (1974)

Программирующие программы для вычислительных машин "Урал-2", "Урал-3", и "Урал-4"
Автор: Гавриленко Е. Т.
Год издания: (1972)

Многоуровневое структурное проектирование программ
Год издания: (1989)

Руководство по надежному программированию
Автор: Гласс Р.
Год издания: (1982)

Сопровождение программного обеспечения
Автор: Гласс Р.
Год издания: (1983)

Язык ада в проектировании систем
Автор: Бар Р. Дж.
Год издания: (1988)

Методы создания качественного программного обеспечения ЭВМ
Автор: Бутаков Е. А.
Год издания: (1984)

Система ПУЛЬТ для управления программами на АЛГОЛе, ЛИСПе и АВТОКОДе
Автор: Брябрин В. М.
Год издания: (1972)

Проектирование цифровых логических устройств
Автор: Голдсуорт Б.
Год издания: (1985)

Введение в операционные системы
Автор: Дейтел
Год издания: (1987)

Математическое обеспечение и проектирование структур ЭВМ
Автор: Жиров В. Ф.
Год издания: (1979)

Автоматизированное проектирование цифровых устройств
Год издания: (1981)

Операционные системы
Автор: Катцан Г.
Год издания: (1976)

Введение в операционные системы
Автор: Колин А.
Год издания: (1975)

Общесистемное математическое обеспечение ЭВМ третьего поколения для обработки данных
Автор: Зайцев Н. Г.
Год издания: (1980)

Математическое обеспечение вычислительной машины ЕС-1020
Автор: Калитина Н. И.
Год издания: (1977)

Система порождения программ
Автор: Ильин В. Д.
Год издания: (1989)

Системы оптимизации программ
Автор: Архангельский Б. В.
Год издания: (1983)

Индивидуальная отладка программ
Автор: Безбородов Ю. М.
Год издания: (1982)

Вычислительные машины с развитыми системами интерпретации
Год издания: (1970)

Основы логического проектирования цифровых вычислительных машин
Автор: Геллер С. И.
Год издания: (1969)

Структурное проектирование надежных программ встроенных ЭВМ
Автор: Штрик А. А.
Год издания: (1989)

Системное проектирование памяти ЦВМ
Автор: Журавлев Ю. П.
Год издания: (1976)

Операционные системы микроЭВМ
Автор: Дамке М.
Год издания: (1985)

Основы расчета и проектирования элементов ЦВМ
Автор: Анисимов Б. В.
Год издания: (1974)