Значок книги

Руководство по надежному программированию Р. Гласс

Сохранить в:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Сборник упражнений по программированию
Автор: Балакин В. Б.
Год издания: (1970)

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

Задачник-практикум по программированию и вычислительной математике
Автор: Гутер Р. С.
Год издания: (1973)

Сборник задач по программированию
Автор: Бухтияров А. М.
Год издания: (1973)

Сборник задач по программированию
Автор: Бухтияров А. М.
Год издания: (1970)

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

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

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

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

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

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

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

Анализ и разработка операционных систем
Автор: Коэн Л. Дж.
Год издания: (1975)

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

Вычислительные методы и программное обеспечение САПР
Год издания: (1979)

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