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

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

Bibliographic Details
Main Author:	Толокнов В. И.
Corporate Author:	Московское высшее техническое училище им. Н. Э. Баумана (МВТУ)
Other Authors:	Шевяков О. В. (редактор)
Language:	Russian
Published:	Москва, Изд-во МВТУ, 1984
Subjects:	Автоматическое управление > Алгоритмизация процесса алгоритмы верификация управление ПЛ/1 применение терминальное управление маневры программное обеспечение учебные пособия
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=283521

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Аналитические методы синтеза регуляторов: межвузовский научный сборник; Вып. 1
Published: (Саратов, Изд-во СПИ, 1976)

Аналитические методы синтеза регуляторов: межвузовский научный сборник; Вып. 2
Published: (Саратов, Изд-во СПИ, 1977)

Численные методы. Верификация алгоритмов решения систем со случайной структурой учебник для вузов
by: Аверина Т. А. Татьяна Александровна
Published: (Москва, Юрайт, 2025)