Доказательство правильности программ: пер. с англ.
| מחבר ראשי: | |
|---|---|
| שפה: | רוסית |
| יצא לאור: |
Москва, Мир, 1982
|
| נושאים: | |
| פורמט: | ספר |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=74099 |
פריטים דומים
Функциональное программирование. Применение и реализация: пер. с англ.
מאת: Хендерсон П.
יצא לאור: (Москва, Мир, 1983)
מאת: Хендерсон П.
יצא לאור: (Москва, Мир, 1983)
Трехмерное подмножество языка ГИМАП: материалы по математическому обеспечению ЭВМ
יצא לאור: (Минск, Изд-во Ин-та технической кибернетики АН БССР, 1987)
יצא לאור: (Минск, Изд-во Ин-та технической кибернетики АН БССР, 1987)
Общесистемное математическое обеспечение ЭВМ третьего поколения для обработки данных
מאת: Зайцев Н. Г. Николай Георгиевич
יצא לאור: (Москва, Статистика, 1980)
מאת: Зайцев Н. Г. Николай Георгиевич
יצא לאור: (Москва, Статистика, 1980)
Математическое обеспечение ЭВМ, комплексов и сетей: сборник научных трудов
יצא לאור: (Москва, Изд-во МЭИ, 1986)
יצא לאור: (Москва, Изд-во МЭИ, 1986)
Вып. 93: Системное и теоретическое программирование; Математические исследования
יצא לאור: (1987)
יצא לאור: (1987)
Прикладная математика и математическое обеспечение ЭВМ: [тематический сборник]
יצא לאור: (Москва, Изд-во МЭИ, 1975)
יצא לאור: (Москва, Изд-во МЭИ, 1975)
Математическое обеспечение и автоматизация проектирования ЭВМ: труды института
יצא לאור: (Москва, Изд-во ИНЭУМ, 1981)
יצא לאור: (Москва, Изд-во ИНЭУМ, 1981)
Лабораторный практикум по математическому обеспечению ЭВМ: учебное пособие для студентов вузов; Ч. 2 : Структуры данных и методы трансляции
מאת: Буза М. К. Михаил Константинович
יצא לאור: (Минск, Вышэйшая школа, 1983)
מאת: Буза М. К. Михаил Константинович
יצא לאור: (Минск, Вышэйшая школа, 1983)
Операционная система реального времени ЭВМ СМ-4: учебное пособие
מאת: Зацепин Н. Г. Николай Григорьевич
יצא לאור: (Рига, Изд-во МИПКСНХ, 1984)
מאת: Зацепин Н. Г. Николай Григорьевич
יצא לאור: (Рига, Изд-во МИПКСНХ, 1984)
Теоретическая информатика. Доказательство правильности учеб. пособие
מאת: Веретельникова Е. Л.
יצא לאור: (Новосибирск, НГТУ, 2016)
מאת: Веретельникова Е. Л.
יצא לאור: (Новосибирск, НГТУ, 2016)
Лабораторный практикум по математическому обеспечению ЭВМ. Ч. 3 : Операционные системы: учебное пособие для вузов; Ч. 3; Операционные системы
מאת: Буза М. К. Михаил Константинович
יצא לאור: (Минск, Вышэйшая школа, 1984)
מאת: Буза М. К. Михаил Константинович
יצא לאור: (Минск, Вышэйшая школа, 1984)
Прикладная математика и математическое обеспечение ЭВМ: межвузовский сборник научных трудов
יצא לאור: (Москва, Изд-во МИРЭА, 1982)
יצא לאור: (Москва, Изд-во МИРЭА, 1982)
Алгебра и дискретная математика. Теоретические основы математического обеспечения ЭВМ: сборник научных трудов (межвузовский)
יצא לאור: (Рига, Изд-во ЛГУ, 1986)
יצא לאור: (Рига, Изд-во ЛГУ, 1986)
Математическое обеспечение ЭВМ типа М-20 (программы решения краевых задач термоупругости)
יצא לאור: (Свердловск, [Б. и.], 1977)
יצא לאור: (Свердловск, [Б. и.], 1977)
Методы проектирования программных систем: пер. с англ.
מאת: Зиглер К. Кэролл
יצא לאור: (Москва, Мир, 1985)
מאת: Зиглер К. Кэролл
יצא לאור: (Москва, Мир, 1985)
Разработка и отладка программ
מאת: Штернберг Л. Ф. Леонид Фрицевич
יצא לאור: (Москва, Радио и связь, 1984)
מאת: Штернберг Л. Ф. Леонид Фрицевич
יצא לאור: (Москва, Радио и связь, 1984)
Язык Ассемблера для персонального компьютера ЭПЛ: пер. с англ.
מאת: Морер У. Уорд
יצא לאור: (Москва, Мир, 1987)
מאת: Морер У. Уорд
יצא לאור: (Москва, Мир, 1987)
Программное обеспечение и его разработка: пер. с англ.
מאת: Фокс Дж. Джозеф
יצא לאור: (Москва, Мир, 1985)
מאת: Фокс Дж. Джозеф
יצא לאור: (Москва, Мир, 1985)
Характеристики качества программного обеспечения: пер. с англ.
יצא לאור: (Москва, Мир, 1981)
יצא לאור: (Москва, Мир, 1981)
Руководство по надежному программированию: пер. с англ.
מאת: Гласс Р. Роберт
יצא לאור: (Москва, Финансы и статистика, 1982)
מאת: Гласс Р. Роберт
יצא לאור: (Москва, Финансы и статистика, 1982)
Теория схем программ
מאת: Котов В. Е. Вадим Евгеньевич
יצא לאור: (Москва, Наука, 1991)
מאת: Котов В. Е. Вадим Евгеньевич
יצא לאור: (Москва, Наука, 1991)
Язык компьютера: пер. с англ.
יצא לאור: (Москва, Мир, 1989)
יצא לאור: (Москва, Мир, 1989)
Язык ада в проектировании систем: пер. с англ.
מאת: Бар Р. Дж.
יצא לאור: (Москва, Мир, 1988)
מאת: Бар Р. Дж.
יצא לאור: (Москва, Мир, 1988)
Операционные системы микроЭВМ: пер. с англ.
מאת: Дамке М. Марк
יצא לאור: (Москва, Финансы и статистика, 1985)
מאת: Дамке М. Марк
יצא לאור: (Москва, Финансы и статистика, 1985)
Математическое и программное обеспечение задач дискретной оптимизации: сборник научных трудов
יצא לאור: (Киев, ИК, 1989)
יצא לאור: (Киев, ИК, 1989)
Справочник по цифровой вычислительной технике. ( Программное обеспечение)
יצא לאור: (Киев, Технiка, 1981)
יצא לאור: (Киев, Технiка, 1981)
Управление данными в вычислительном эксперименте
מאת: Зуев В. И. Виталий Иванович
יצא לאור: (Москва, Наука, 1986)
מאת: Зуев В. И. Виталий Иванович
יצא לאור: (Москва, Наука, 1986)
Супервизоры и операционные системы: [монография]; пер. с англ.
יצא לאור: (Москва, Мир, 1972)
יצא לאור: (Москва, Мир, 1972)
Программирование на языке Форт
מאת: Семенов Ю. А. Юрий Алексеевич
יצא לאור: (Москва, Радио и связь, 1991)
מאת: Семенов Ю. А. Юрий Алексеевич
יצא לאור: (Москва, Радио и связь, 1991)
Эксплуатационная надежность электронных цифровых вычислительных машин: Диссертация на соискание ученой степени кандидата технических наук
מאת: Строганов М. Н.
יצא לאור: (Томск, 1967)
מאת: Строганов М. Н.
יצא לאור: (Томск, 1967)
Оценка качества программ ЭВМ
מאת: Кулаков А. Ф. Александр Федорович
יצא לאור: (Киев, Технiка, 1984)
מאת: Кулаков А. Ф. Александр Федорович
יצא לאור: (Киев, Технiка, 1984)
Вычислительная математика и математическое обеспечение ЭВМ: сборник трудов факультета вычислительной математики и кибернетики
יצא לאור: (Москва, Изд-во МГУ, 1985)
יצא לאור: (Москва, Изд-во МГУ, 1985)
Структурное проектирование надежных программ встроенных ЭВМ
מאת: Штрик А. А.
יצא לאור: (Ленинград, Машиностроение, 1989)
מאת: Штрик А. А.
יצא לאור: (Ленинград, Машиностроение, 1989)
Программирование на IBM/360: пер. с англ.
מאת: Джермейн К. Б. Кларенс Б.
יצא לאור: (Москва, Мир, 1971)
מאת: Джермейн К. Б. Кларенс Б.
יצא לאור: (Москва, Мир, 1971)
Программирование на IBM/360: пер. с англ.
מאת: Джермейн К. Б. Кларенс Б.
יצא לאור: (Москва, Мир, 1983)
מאת: Джермейн К. Б. Кларенс Б.
יצא לאור: (Москва, Мир, 1983)
Программирование на IBM/360: пер. с англ.
מאת: Джермейн К. Б. Кларенс Б.
יצא לאור: (Москва, Мир, 1978)
מאת: Джермейн К. Б. Кларенс Б.
יצא לאור: (Москва, Мир, 1978)
Программирование на стандартном КОБОЛе: перевод с анлийского
מאת: Маджинис Дж.
יצא לאור: (Москва, Мир, 1979)
מאת: Маджинис Дж.
יצא לאור: (Москва, Мир, 1979)
Практическое программирование на dBASE
מאת: Берещанский Д. Г. Дмитрий Григорьевич
יצא לאור: (Москва, Финансы и статистика, 1989)
מאת: Берещанский Д. Г. Дмитрий Григорьевич
יצא לאור: (Москва, Финансы и статистика, 1989)
Методы создания качественного программного обеспечения ЭВМ
מאת: Бутаков Е. А. Евгений Артемович
יצא לאור: (Москва, Энергоатомиздат, 1984)
מאת: Бутаков Е. А. Евгений Артемович
יצא לאור: (Москва, Энергоатомиздат, 1984)
Oracle 7 и вычисления клиент/сервер: пер. с англ.
מאת: Бобровски С. Стив
יצא לאור: (Москва, Лори, 1995)
מאת: Бобровски С. Стив
יצא לאור: (Москва, Лори, 1995)