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

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

Detalles Bibliográficos
Otros Autores:	Агафонов В. Н. Валерий Николаевич (редактор)
Lenguaje:	ruso
Publicado:	Москва, Мир, 1984
Colección:	Математическое обеспечение ЭВМ
Materias:	Программы > Метрическая теория цифровые вычислительные машины математическое обеспечение разработка требования программное обеспечение базы данных проектирование
Formato:	Libro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=281735

Ejemplares similares

Метрическая оценка качества программ
por: Изосимов А. В.
Publicado: (Москва, Изд-во МАИ, 1989)

Индивидуальная отладка программ
por: Безбородов Ю. М. Юрий Михайлович
Publicado: (Москва, Наука, 1982)

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

Новые методы конструирования программ: межвузовский сборник научных трудов
Publicado: (Новосибирск, Изд-во Новосибирского ун-та, 1986)

Машинонезависимая оптимизация исходных программ
por: Саркисян А. А. Анушаван Артааздович
Publicado: (Москва, Радио и связь, 1985)

Технология разработки и отладки программ: учебное пособие
por: Федотова Д. Э. Дина Эммануиловна
Publicado: (Москва, Изд-во МИРЭА, 1987)

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

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

Пакеты прикладных программ. Методы и разработки
Publicado: (Новосибирск, Наука, 1981)

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

Искусство тестирования программ: пер. с англ.
por: Майерс Г. Гленфорд
Publicado: (Москва, Диалектика, 2016)

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

Надежность программного обеспечения. Анализ крупномасштабных разработок: пер. с англ.
por: Тейер Т. Томас
Publicado: (Москва, Мир, 1981)

Алгоритмы обработки данных: пер. с яп.
por: Сибуя М. Масааки
Publicado: (Москва, Мир, 1986)

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

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

Алгоритмы и программы, разработанные и используемые в Литовской ССР: аннотированный указатель материалов по прикладному прогрограммному обеспечению
Publicado: (Вильнюс, Изд-во ЛитНИИНТИ, 1982)

Пакеты прикладных программ. Методы оптимизации
Publicado: (Москва, Наука, 1984)

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

Пакеты прикладных программ: математическое моделирование
Publicado: (Москва, Наука, 1989)

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

Автоматизированные методы спецификации: пер. с англ.
por: Деметрович Я. Янош
Publicado: (Москва, Мир, 1989)

Принципы работы и система программного обеспечения МП ЕС 2700
por: Семерджян М. А. Мигран Арамович
Publicado: (Москва, Наука, 1988)

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

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

Использование абстракций и спецификаций при разработке программ: пер. с англ.
por: Лисков Б. Барбара
Publicado: (Москва, Мир, 1989)

Программно-аппаратные средства и математическое обеспечение вычислительных систем: сборник статей
Publicado: (Москва, Изд-во МГУ, 1989)

Алгоритмы и программы системного математического обеспечения ЕС ЭВМ и кросс-средств: сборник научных трудов
Publicado: (Москва, Изд-во МИЭТ, 1982)

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

Введение в dBASE IV: пер. с англ.
por: Лима Т. Тома
Publicado: (Москва, Радио и связь, 1993)

Искусство тестирования программ: пер. с англ.
por: Майерс Г. Гленфорд Дж
Publicado: (Москва, Финансы и статистика, 1982)

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

Математика программных систем: межвузовский сборник научных трудов
Publicado: (Пермь, Изд-во Пермского ун-та, 2001)

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

Вычислительные и управляющие системы летательных аппаратов: межвузовский сборник
Publicado: (Казань, Изд-во КАИ, 1981)

Начала науки о программах: пер. с англ.
por: Холстед М. Х. Морис Х
Publicado: (Москва, Финансы и статистика, 1981)

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

Применение управляющих вычислительных машин: учебное пособие для вузов
Publicado: (Минск, Вышэйшая школа, 1988)

Доказательство правильности программ: пер. с англ.
por: Андерсон Р. Роберт
Publicado: (Москва, Мир, 1982)

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