Значок книги

Доказательство правильности программ Р. Андерсон

Сохранить в:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Вопросы математического моделирования и вычислительной техники
Год издания: (1967)