Верификация алгоритмов управления на ПЛ/1: учебное пособие

Верификация алгоритмов управления на ПЛ/1: учебное пособие

Bibliografiske detaljer
Hovedforfatter:	Толокнов В. И.
Institution som forfatter:	Московское высшее техническое училище им. Н. Э. Баумана (МВТУ)
Andre forfattere:	Шевяков О. В. (редактор)
Sprog:	russisk
Udgivet:	Москва, Изд-во МВТУ, 1984
Fag:	Автоматическое управление > Алгоритмизация процесса алгоритмы верификация управление ПЛ/1 применение терминальное управление маневры программное обеспечение учебные пособия
Format:	Bog
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=283521

Lignende værker

Анализ и синтез систем автоматического управления на ЭВМ. Алгоритмы и программы
af: Болнокин В. Е. Виталий Евгеньевич
Udgivet: (Москва, Радио и связь, 1986)

Алгоритмизация объектов управления: справочник
af: Кулик В. Т. Валерий Тимофеевич
Udgivet: (Киев, Наукова думка, 1968)

[Вып. 10]; Алгоритмизация и автоматизация технологических процессов и промышленных установок
Udgivet: (1979)

[Вып. 12]; Алгоритмизация и автоматизация технологических процессов и промышленных установок
Udgivet: (1981)

[Вып. 11]; Алгоритмизация и автоматизация технологических процессов и промышленных установок
Udgivet: (1980)

Решение задач на ПЛ/1 в ОС ЕС
af: Гребенников Л. К. Леонид Кузьмич
Udgivet: (Москва, Финансы и статистика, 1981)

Вып. 9; Алгоритмизация и автоматизация технологических процессов и промышленных установок
Udgivet: (1978)

Программирование микропроцессорных систем на языке ПЛ/М
af: Гребенников Л. К. Леонид Кузьмич
Udgivet: (Москва, Финансы и статистика, 1986)

Система программирования ПЛ/I: учебное пособие
af: Гриценко М. Б. Марина Борисовна
Udgivet: (Москва, [Б. и.], 1979)

ПЛ/1 для программистов: пер. с англ.
af: Скотт Р. Рамон
Udgivet: (Москва, Статистика, 1977)

Основы алгоритмизации и алгоритмические языки: учебное пособие
af: Дайитбегов Д. М. Дайитбег Магмедович
Udgivet: (Москва, Статистика, 1979)

ПЛ/1 для начинающих
af: Малютин Э. А. Эдуард Алексеевич
Udgivet: (Москва, Финансы и статистика, 1985)

Вып. 8 (57) : Программное обеспечение запросно-ответного режима при анализе тематических планов (2-я очередь); Алгоритмы и программы
af: Иванченко В. Г.
Udgivet: (1982)

Кн. 4 : Языки программирования (Фортран IV, Фортран 77, ПЛ/1); Электронные вычислительные машины
Udgivet: (1993)

Диалоговая отладка программ на языке ПЛ/1
af: Лепин-Дмитрюков Г. А. Генрих Артурович
Udgivet: (Москва, Финансы и статистика, 1986)

Основы алгоритмизации и программирования на ЭВМ
af: Бородина А. И. Алла Ивановна
Udgivet: (Минск, Вышэйшая школа, 1983)

Программирование, отладка и решение задач на ЭВМ единой серии. Язык ПЛ/1: учебное пособие
Udgivet: (Ленинград, Энергоатомиздат, 1989)

Программирование на ПЛ/1 ОС ЕС
Udgivet: (Москва, Финансы и статистика, 1984)

Бортовые терминальные системы управления: принципы построения и элементы теории
Udgivet: (Москва, Машиностроение, 1983)

Вычислительные машины и программирование
af: Демидович Н. Т. Неонила Тарасовна
Udgivet: (Минск, Университетское, 1985)

Кн. 8 : Программирование на языке ПЛ/М; Программное обеспечение микроЭВМ
Udgivet: (1988)

Сборник задач по программированию на языке ПЛ/1: учебное пособие для вузов
af: Бухтияров А. М. Алексей Михайлович
Udgivet: (Москва, Наука, 1978)

Теория управления движением космических аппаратов
af: Пономарев В. М. Валентин Михайлович
Udgivet: (Москва, Наука, 1965)

Сборник задач по программированию на языке ПЛ/1: учебное пособие для вузов
af: Бухтияров А. М. Алексей Михайлович
Udgivet: (Москва, Наука, 1988)

Обратные задачи динамики в теории автоматического управления; Справочник. Инженерный журнал; № 3
af: Крутько П. Д.
Udgivet: (2004)

Основы применения ЭВМ: учебное пособие
af: Каранчук В. П. Владимир Павлович
Udgivet: (Москва, Радио и связь, 1988)

Интеллектуальный датчик давления; Современные техника и технологии; Т. 1
af: Бейков М. В.
Udgivet: (2009)

Основы инженерии программного обеспечения: пер. с англ.
af: Гецци К. Карло
Udgivet: (СПб., БХВ-Петербург, 2005)

Экстенсивное управление ориентацией космических летательных аппаратов
af: Алексеев К. Б. Кир Борисович
Udgivet: (Москва, Машиностроение, 1977)

Системы терминального управления
af: Батенко А. П. Анатолий Петрович
Udgivet: (Москва, Радио и связь, 1984)

Подготовка эксплуатационного персонала для АЭС
af: Сааков Э. С. Эдуард Саакович
Udgivet: (Москва, Энергоатомиздат, 1987)

Т. 1 : Системы управления; Труды VII Международного симпозиума ИФАК по автоматическому управлению в пространстве
Udgivet: (1978)

Инженерия программного обеспечения: пер. с англ.
af: Соммервилл И. Иан
Udgivet: (Москва, Вильямс, 2002)

Система Сплинк. Материалы по математическому обеспечению ЭВМ
Udgivet: (Минск, Изд-во ИТК АН БССР, 1984)

Программирование и алгоритмические языки
af: Криницкий Н. А. Николай Андреевич
Udgivet: (Москва, Наука, 1975)

Программирование и алгоритмические языки
af: Криницкий Н. А. Николай Андреевич
Udgivet: (Москва, Наука, 1979)

Верификация программного обеспечения: учебное пособие
af: Синицын С. В. Сергей Владимирович
Udgivet: (Москва, БИНОМ. Лаборатория знаний, 2008)

Оптимизация процессов управления в условиях неопределенности: учебное пособие
af: Солодовников В. В. Владимир Викторович
Udgivet: (Москва, Изд-во МВТУ, 1985)

Программирование и алгоритмические языки: [справочник]
af: Криницкий Н. А. Николай Андреевич
Udgivet: (Москва, Мир, 1978)

Справочник программиста
af: Дробушевич Г. А. Геннадий Антонович
Udgivet: (Минск, Вышэйшая школа, 1978)