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

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

Bibliographic Details
Main Author:	Андерсон Р. Роберт
Language:	Russian
Published:	Москва, Мир, 1982
Subjects:	Вычислительные машины электронные > Математическое обеспечение математическое обеспечение надежность математическая индукция блок-схемы языки программирования
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=74099

Similar Items

Функциональное программирование. Применение и реализация: пер. с англ.
by: Хендерсон П.
Published: (Москва, Мир, 1983)

Трехмерное подмножество языка ГИМАП: материалы по математическому обеспечению ЭВМ
Published: (Минск, Изд-во Ин-та технической кибернетики АН БССР, 1987)

Теоретическая информатика. Доказательство правильности учеб. пособие
by: Веретельникова Е. Л.
Published: (Новосибирск, НГТУ, 2016)

Математическое обеспечение ЭВМ, комплексов и сетей: сборник научных трудов
Published: (Москва, Изд-во МЭИ, 1986)

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

Прикладная математика и математическое обеспечение ЭВМ: [тематический сборник]
Published: (Москва, Изд-во МЭИ, 1975)

Вып. 93: Системное и теоретическое программирование; Математические исследования
Published: (1987)

Математическое обеспечение и автоматизация проектирования ЭВМ: труды института
Published: (Москва, Изд-во ИНЭУМ, 1981)

Лабораторный практикум по математическому обеспечению ЭВМ: учебное пособие для студентов вузов; Ч. 2 : Структуры данных и методы трансляции
by: Буза М. К. Михаил Константинович
Published: (Минск, Вышэйшая школа, 1983)

Операционная система реального времени ЭВМ СМ-4: учебное пособие
by: Зацепин Н. Г. Николай Григорьевич
Published: (Рига, Изд-во МИПКСНХ, 1984)

Лабораторный практикум по математическому обеспечению ЭВМ. Ч. 3 : Операционные системы: учебное пособие для вузов; Ч. 3; Операционные системы
by: Буза М. К. Михаил Константинович
Published: (Минск, Вышэйшая школа, 1984)

Прикладная математика и математическое обеспечение ЭВМ: межвузовский сборник научных трудов
Published: (Москва, Изд-во МИРЭА, 1982)

Алгебра и дискретная математика. Теоретические основы математического обеспечения ЭВМ: сборник научных трудов (межвузовский)
Published: (Рига, Изд-во ЛГУ, 1986)

Математическое обеспечение ЭВМ типа М-20 (программы решения краевых задач термоупругости)
Published: (Свердловск, [Б. и.], 1977)

Методы проектирования программных систем: пер. с англ.
by: Зиглер К. Кэролл
Published: (Москва, Мир, 1985)

Язык Ассемблера для персонального компьютера ЭПЛ: пер. с англ.
by: Морер У. Уорд
Published: (Москва, Мир, 1987)

Разработка и отладка программ
by: Штернберг Л. Ф. Леонид Фрицевич
Published: (Москва, Радио и связь, 1984)

Теория схем программ
by: Котов В. Е. Вадим Евгеньевич
Published: (Москва, Наука, 1991)

Программное обеспечение и его разработка: пер. с англ.
by: Фокс Дж. Джозеф
Published: (Москва, Мир, 1985)

Руководство по надежному программированию: пер. с англ.
by: Гласс Р. Роберт
Published: (Москва, Финансы и статистика, 1982)

Характеристики качества программного обеспечения: пер. с англ.
Published: (Москва, Мир, 1981)

Программирование на IBM/360: пер. с англ.
by: Джермейн К. Б. Кларенс Б.
Published: (Москва, Мир, 1978)

Программирование на IBM/360: пер. с англ.
by: Джермейн К. Б. Кларенс Б.
Published: (Москва, Мир, 1983)

Управление данными в вычислительном эксперименте
by: Зуев В. И. Виталий Иванович
Published: (Москва, Наука, 1986)

Язык ада в проектировании систем: пер. с англ.
by: Бар Р. Дж.
Published: (Москва, Мир, 1988)

Операционные системы микроЭВМ: пер. с англ.
by: Дамке М. Марк
Published: (Москва, Финансы и статистика, 1985)

Принципы разработки программного обеспечения: пер. с англ.
by: Зелковиц М. В. Марвин В.
Published: (Москва, Мир, 1982)

Супервизоры и операционные системы: [монография]; пер. с англ.
Published: (Москва, Мир, 1972)

Программирование на языке ада: пер. с англ.
by: Вегнер П. Петер
Published: (Москва, Мир, 1983)

Справочник по цифровой вычислительной технике. ( Программное обеспечение)
Published: (Киев, Технiка, 1981)

Язык компьютера: пер. с англ.
Published: (Москва, Мир, 1989)

Сопровождение программного обеспечения: пер. с англ.
by: Гласс Р. Роберт
Published: (Москва, Мир, 1983)

Многопроцессорные вычислительные системы и их математическое обеспечение: сборник научных трудов
Published: (Новосибирск, Изд-во АН СССР ВЦ, 1982)

Алгоритмы, математическое обеспечение и архитектура многопроцессорных вычислительных систем
Published: (Москва, Наука, 1982)

Требования и спецификации в разработке программ: сборник статей; пер. с англ.
Published: (Москва, Мир, 1984)

Введение в операционнную систему UNIX: пер. с англ.
by: Банахан М. Майк
Published: (Москва, Радио и связь, 1986)

Данные в языках программирования. Абстракция и типология: [сборник статей]; пер. с англ.; Типы и абстракция данных в языках программирования
Published: (Москва, Мир, 1982)

Операционная система Unix: пер. с англ.
by: Баурн С. Стив
Published: (Москва, Мир, 1986)

Оценка качества программ ЭВМ
by: Кулаков А. Ф. Александр Федорович
Published: (Киев, Технiка, 1984)

Программирование на языке БЕЙСИК: пер. с англ.
by: Уорт Т. Томас
Published: (Москва, Машиностроение, 1981)