Спецификация программ: понятийные средства и их организация

Спецификация программ: понятийные средства и их организация

Detalhes bibliográficos
Autor principal:	Агафонов В. Н. Валерий Николаевич
Idioma:	russo
Publicado em:	Новосибирск, Наука, 1990
Edição:	2-е изд.испр. и доп.
Assuntos:	вычислительные машины электронные машины программы спецификация
Formato:	Livro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=153136

Registos relacionados

Спецификация программ: понятийные средства и их организация
Por: Агафонов В. Н. Валерий Николаевич
Publicado em: (Новосибирск, Наука, 1987)

Численные методы и технология разработки пакетов прикладных программ: сборник научных трудов
Publicado em: (Киев, Изд-во ИК, 1990)

Тестирование программ
Por: Липаев В. В. Владимир Васильевич
Publicado em: (Москва, Радио и связь, 1986)

Диалоговая система отладки программ и данных
Por: Кушниров В. А. Владимир Авдеевич
Publicado em: (Киев, Вища школа, 1985)

Пакеты прикладных программ: [учебное пособие]
Publicado em: (Москва, Изд-во МГУ, 1991)

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

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

Программа оптимизационного поиска распараллеленного алгоритма на ППЭВМ: материалы по математическому обеспечению ЭВМ
Publicado em: (Минск, Институт технической кибернетики, 1991)

Введение в теорию анализа и распараллеливания программ ЭВМ в процессе трансляции
Por: Трахтенгерц Э. А. Эдуард Анатольевич
Publicado em: (Москва, Наука, 1981)

Распараллеливание алгоритмов и программ: Структурный подход
Por: Вальковский В. А. Владимир Александрович
Publicado em: (Москва, Радио и связь, 1989)

Ч. 2; Оптимизация и преобразования программ
Publicado em: (1983)

Персональная ЭВМ ДВК-1
Por: Усачев С. Т. Станислав Тихонович
Publicado em: (Москва, Изд-во Ун-та дружбы народов, 1988)

Вып. 1: Общие сведения. Графический ввод схем; Применение программ P-CAD и PSpice для схемотехнического моделирования на ПЭВМ
Publicado em: (1992)

Прикладные методы верификации программ
Por: Непомнящий В. А. Валерий Александрович
Publicado em: (Москва, Радио и связь, 1988 )

Численное моделирование фильтрации подземных вод орошаемых массивов и пакеты прикладных программ
Por: Хабибуллаев И. Х. Иброхим Х.
Publicado em: (Ташкент, Фан, 1991)

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

Пакеты программ анализа данных: технология разработки
Por: Парасюк И. Н. Иван Николаевич
Publicado em: (Москва, Финансы и статистика, 1988)

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

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

Диалоговые системы проектирования и отладки программ ОС ЕС ЭВМ: справочник
Por: Менделевич Б. М. Борис Михайлович
Publicado em: (Киев, Тэхника, 1990)

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

Системы производства программ
Por: Чернаков Э. П.
Publicado em: (Ленинград, Изд-во ВИКИ, 1979)

Вып. 66 : Руководство по операционным системам для микроЭВМ; Методические материалы и документация по пакетам прикладных программ
Publicado em: (1978)

Учебное пособие по использованию программ ЭВМ для учебного процесса по спецкурсам
Publicado em: (Москва, Изд-во МВТУ, 1988)

Информатика и вычислительные системы: сборник статей
Publicado em: (Москва, Изд-во МГУ, 1993)

Мобильность программ на Фортране
Por: Горелик А. М. Алла Моисеевна
Publicado em: (Москва, Финансы и статистика, 1984)

Ч. 1; Оптимизация и преобразования программ
Publicado em: (1983)

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

Методы разработки автоматизированных систем управления
Por: Мамиконов А. Г. Акоп Гаспарович
Publicado em: (Москва, Энергия, 1973)

Решение задач на компьютерах. Спецификация задачи
Por: Москвитин А. А.
Publicado em: (Санкт-Петербург, Лань, 2022)

Производственные методы разработки программ
Por: Волховер В. Г. Владимир Гершович
Publicado em: (Москва, Финансы и статистика, 1983)

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

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

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

Проектирование оптимальной электрической машины с помощью цифровой вычислительной машины: перевод № 5938
Publicado em: (Москва, [Б. и.], 1961)

Процедуры и алгоритмы формирования комплексных программ
Por: Поспелов Г. С. Гермоген Сергеевич
Publicado em: (Москва, Наука, 1985)

Спецификация по 3D-модели сборочной единицы в САПР «КОМПАС- 3D» учебно-методическое пособие
Por: Вербицкий Р. А.
Publicado em: (Москва, РТУ МИРЭА, 2023)

Комплексирование программ в ОС ЕС
Por: Орлов В. Н. Владимир Николаевич
Publicado em: (Москва, Финансы и статистика, 1986)

Программные средства ПЭВМ: операционная система MS-DOS
Por: Рыбкин Е. Н. Евгений Николаевич
Publicado em: (Москва, Финансы и статистика, 1991)

Вып. 2; Системные программные средства ЕС ЭВМ и СМ ЭВМ
Publicado em: (1988)