Значок книги

Оценка качества программ ЭВМ А. Ф. Кулаков

Сохранить в:

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

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

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

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

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

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

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

Проектирование корректных структурированных программ
Автор: Алагич С.
Год издания: (1984)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Надежность электронных вычислительных и управляющих цифровых машин
Автор: Авалиани В. А.
Год издания: (1973)

Раздельное резервирование как метод повышения надежности ЦВМ
Автор: Веригин В. Н.
Год издания: (1967)

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

Защита ЭВМ от внешних помех
Автор: Гурвич И. С.
Год издания: (1984)

Технологический комплекс производства программ на машинах ЕС ЭВМ и БЭСМ-6
Автор: Вельбицкий И. В.
Год издания: (1980)

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

Программное обеспечение сетей СМ ЭВМ
Автор: Васильев Г. П.
Год издания: (1983)

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

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

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

Беседы о поколениях ЭВМ
Автор: Бусленко Николай Пантелеймонович
Год издания: (1977)

ЭВМ думает, считает, управляет
Автор: Деге В.
Год издания: (1974)

Надежность алгоритмов управления
Автор: Карповский Е. Я.
Год издания: (1983)

Структуры ЭВМ и их математическое обеспечение
Автор: Королев Л. Н.
Год издания: (1978)