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

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

Chi tiết về thư mục
Tác giả chính:	Агафонов В. Н. Валерий Николаевич
Ngôn ngữ:	Tiếng Nga
Được phát hành:	Новосибирск, Наука, 1990
Phiên bản:	2-е изд.испр. и доп.
Những chủ đề:	вычислительные машины электронные машины программы спецификация
Định dạng:	Sách
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=153136

Những quyển sách tương tự

Спецификация программ: понятийные средства и их организация
Bằng: Агафонов В. Н. Валерий Николаевич
Được phát hành: (Новосибирск, Наука, 1987)

Численные методы и технология разработки пакетов прикладных программ: сборник научных трудов
Được phát hành: (Киев, Изд-во ИК, 1990)

Тестирование программ
Bằng: Липаев В. В. Владимир Васильевич
Được phát hành: (Москва, Радио и связь, 1986)

Диалоговая система отладки программ и данных
Bằng: Кушниров В. А. Владимир Авдеевич
Được phát hành: (Киев, Вища школа, 1985)

Пакеты прикладных программ: [учебное пособие]
Được phát hành: (Москва, Изд-во МГУ, 1991)

Автоматизированные методы спецификации: пер. с англ.
Bằng: Деметрович Я. Янош
Được phát hành: (Москва, Мир, 1989)

Структурное проектирование надежных программ встроенных ЭВМ
Bằng: Штрик А. А.
Được phát hành: (Ленинград, Машиностроение, 1989)

Программа оптимизационного поиска распараллеленного алгоритма на ППЭВМ: материалы по математическому обеспечению ЭВМ
Được phát hành: (Минск, Институт технической кибернетики, 1991)

Введение в теорию анализа и распараллеливания программ ЭВМ в процессе трансляции
Bằng: Трахтенгерц Э. А. Эдуард Анатольевич
Được phát hành: (Москва, Наука, 1981)

Распараллеливание алгоритмов и программ: Структурный подход
Bằng: Вальковский В. А. Владимир Александрович
Được phát hành: (Москва, Радио и связь, 1989)

Ч. 2; Оптимизация и преобразования программ
Được phát hành: (1983)

Персональная ЭВМ ДВК-1
Bằng: Усачев С. Т. Станислав Тихонович
Được phát hành: (Москва, Изд-во Ун-та дружбы народов, 1988)

Вып. 1: Общие сведения. Графический ввод схем; Применение программ P-CAD и PSpice для схемотехнического моделирования на ПЭВМ
Được phát hành: (1992)

Прикладные методы верификации программ
Bằng: Непомнящий В. А. Валерий Александрович
Được phát hành: (Москва, Радио и связь, 1988 )

Численное моделирование фильтрации подземных вод орошаемых массивов и пакеты прикладных программ
Bằng: Хабибуллаев И. Х. Иброхим Х.
Được phát hành: (Ташкент, Фан, 1991)

Пакеты прикладных программ. Методы и разработки
Được phát hành: (Новосибирск, Наука, 1981)

Пакеты программ анализа данных: технология разработки
Bằng: Парасюк И. Н. Иван Николаевич
Được phát hành: (Москва, Финансы и статистика, 1988)

Искусство тестирования программ: пер. с англ.
Bằng: Майерс Г. Гленфорд Дж
Được phát hành: (Москва, Финансы и статистика, 1982)

Использование абстракций и спецификаций при разработке программ: пер. с англ.
Bằng: Лисков Б. Барбара
Được phát hành: (Москва, Мир, 1989)

Диалоговые системы проектирования и отладки программ ОС ЕС ЭВМ: справочник
Bằng: Менделевич Б. М. Борис Михайлович
Được phát hành: (Киев, Тэхника, 1990)

Машинонезависимая оптимизация исходных программ
Bằng: Саркисян А. А. Анушаван Артааздович
Được phát hành: (Москва, Радио и связь, 1985)

Системы производства программ
Bằng: Чернаков Э. П.
Được phát hành: (Ленинград, Изд-во ВИКИ, 1979)

Вып. 66 : Руководство по операционным системам для микроЭВМ; Методические материалы и документация по пакетам прикладных программ
Được phát hành: (1978)

Учебное пособие по использованию программ ЭВМ для учебного процесса по спецкурсам
Được phát hành: (Москва, Изд-во МВТУ, 1988)

Информатика и вычислительные системы: сборник статей
Được phát hành: (Москва, Изд-во МГУ, 1993)

Мобильность программ на Фортране
Bằng: Горелик А. М. Алла Моисеевна
Được phát hành: (Москва, Финансы и статистика, 1984)

Ч. 1; Оптимизация и преобразования программ
Được phát hành: (1983)

Разработка и отладка программ
Bằng: Штернберг Л. Ф. Леонид Фрицевич
Được phát hành: (Москва, Радио и связь, 1984)

Методы разработки автоматизированных систем управления
Bằng: Мамиконов А. Г. Акоп Гаспарович
Được phát hành: (Москва, Энергия, 1973)

Решение задач на компьютерах. Спецификация задачи
Bằng: Москвитин А. А.
Được phát hành: (Санкт-Петербург, Лань, 2022)

Производственные методы разработки программ
Bằng: Волховер В. Г. Владимир Гершович
Được phát hành: (Москва, Финансы и статистика, 1983)

Экспертные системы для персональных компьютеров: методы, средства, реализации: справочное пособие
Được phát hành: (Минск, Вышэйшая школа, 1990)

Вычислительные машины, их ремонт и обслуживание: учебное пособие для среднего профессионального образования
Bằng: Бухман А. А. Анатолий Александрович
Được phát hành: (Москва, Высшая школа, 1981)

Пакеты прикладных программ. Методы оптимизации
Được phát hành: (Москва, Наука, 1984)

Проектирование оптимальной электрической машины с помощью цифровой вычислительной машины: перевод № 5938
Được phát hành: (Москва, [Б. и.], 1961)

Процедуры и алгоритмы формирования комплексных программ
Bằng: Поспелов Г. С. Гермоген Сергеевич
Được phát hành: (Москва, Наука, 1985)

Спецификация по 3D-модели сборочной единицы в САПР «КОМПАС- 3D» учебно-методическое пособие
Bằng: Вербицкий Р. А.
Được phát hành: (Москва, РТУ МИРЭА, 2023)

Комплексирование программ в ОС ЕС
Bằng: Орлов В. Н. Владимир Николаевич
Được phát hành: (Москва, Финансы и статистика, 1986)

Программные средства ПЭВМ: операционная система MS-DOS
Bằng: Рыбкин Е. Н. Евгений Николаевич
Được phát hành: (Москва, Финансы и статистика, 1991)

Вып. 2; Системные программные средства ЕС ЭВМ и СМ ЭВМ
Được phát hành: (1988)