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

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

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Комплекс программ синтеза комбинационных схем в базисе ПЛМ и МЛВ. Материалы по математическому обеспечению ЭВМ
Published: (Минск, Изд-во Института технической кибернетики, 1988)

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

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

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

Программное обеспечение микропроцессорных систем
by: Григорьев В. Л. Вячеслав Леонидович
Published: (Москва, Энергоатомиздат, 1983)

Матричные вычисления и математическое обеспечение: пер. с англ.
by: Райс Дж. Р. Джон Р.
Published: (Москва, Мир, 1984)

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

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

Пакеты прикладных программ: технология разработки
Published: (Новосибирск, Наука, 1984)

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

Операционные системы: Прагматический подход: пер. с англ.
by: Катцан Г. Гарри
Published: (Москва, Мир, 1976)