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

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

Dades bibliogràfiques
Autor principal:	Андерсон Р. Роберт
Publicat:	Москва, Мир, 1982
Matèries:	математическое обеспечение надежность математическая индукция блок-схемы языки программирования
Format:	Llibre
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=74099

Ítems similars

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

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

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

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

Вып. 93: Системное и теоретическое программирование
Publicat: (1987)

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

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

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

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

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

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

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

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

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

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

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

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

Математическое и программное обеспечение задач дискретной оптимизации сборник научных трудов
Publicat: (Киев, ИК, 1989)

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

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

Программирование на языке Форт
per: Семенов Ю. А. Юрий Алексеевич
Publicat: (Москва, Радио и связь, 1991)

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

Эксплуатационная надежность электронных цифровых вычислительных машин Диссертация на соискание ученой степени кандидата технических наук
per: Строганов М. Н.
Publicat: (Томск, 1967)

Вычислительная математика и математическое обеспечение ЭВМ сборник трудов факультета вычислительной математики и кибернетики
Publicat: (Москва, Изд-во МГУ, 1985)

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

Практическое программирование на dBASE
per: Берещанский Д. Г. Дмитрий Григорьевич
Publicat: (Москва, Финансы и статистика, 1989)

Программирование на стандартном КОБОЛе перевод с анлийского
per: Маджинис Дж.
Publicat: (Москва, Мир, 1979)

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

Структурное проектирование надежных программ встроенных ЭВМ
per: Штрик А. А.
Publicat: (Ленинград, Машиностроение, 1989)

Математическое и программное обеспечение генерирования векторных сплайн-изображений с оценкой качества в метрике Хаусдорфа диссертация на соискание ученой степени кандидата технических наук
per: Рыбалка С. А. Сергей Анатольевич
Publicat: (Томск, Изд-во ТПУ, 1997)

Программирование на языке ассемблера для персональной ЭВМ фирмы IBM
per: Брэдли Д. Дж. Дейвид Дж.
Publicat: (Москва, Радио и связь, 1988)

Система программирования Модула-2-СУПЕР
Publicat: (Москва, ВЦ АН СССР, 1989)

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

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

Ситуационное управление большими системами
per: Клыков Ю. И. Юрий Иванович
Publicat: (Москва, Энергия, 1974)

IEEE Transactions on Software Engineering journal
Publicat: (USA, IEEE Computer Society, 1990-1991, 1994, 1997-2001)

Математическое и программное обеспечение решения задач оптимизации изотонных псевдобулевых функций диссертация на соискание ученой степени кандидата технических наук Спец. 05.13.11
per: Вайнгауз А. М. Александр Маркович
Publicat: (Кемерово, 1985)

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

Руководство по программированию на языке модула-2 пер. с англ.
per: Кристиан К. Кааре
Publicat: (Москва, Мир, 1989)

Regulated Rewriting in Formal Language Theory
per: Dasson J. Jurgen
Publicat: (Berlin, Akademie-Verlag, 1989)