Система работает в тестовом режиме. Предыдущая версия поиска доступна по ссылке.

Урсу, Анатолий Георгиевич - Исследование и разработка взаимодействия программ в АСУ на основе спецификаций темпоральной логики : автореферат дис. ... кандидата технических наук : 05.13.06;05.13.11

Карточка

Урсу, Анатолий Георгиевич.
Урсу, Анатолий Георгиевич.

Исследование и разработка взаимодействия программ в АСУ на основе спецификаций темпоральной логики : автореферат дис. ... кандидата технических наук : 05.13.06;05.13.11 / Ленингр. электротехн. ин-т. - Ленинград, 1990. - 16 с.
Автоматизированные системы управления
Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
9 90-10/1366-6
9 90-10/1367-4

Документ в свободном доступе. Читать 

Описание

Автор
ЗаглавиеИсследование и разработка взаимодействия программ в АСУ на основе спецификаций темпоральной логики : автореферат дис. ... кандидата технических наук : 05.13.06;05.13.11
Коллекции ЭБ Авторефераты
Дата поступления в ЭК 21.02.1991
Дата поступления в ЭБ 21.05.2008
Каталоги Авторефераты диссертаций
Сведения об ответственностиЛенингр. электротехн. ин-т
Выходные данныеЛенинград, 1990
Физическое описание16 с.
ТемаАвтоматизированные системы управления
Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
BBK-кодЗ973.233-018,0
Специальность05.13.06: Автоматизация и управление технологическими процессами и производствами (по отраслям)
05.13.11: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
ЯзыкРусский
Места хранения9 90-10/1366-6
9 90-10/1367-4
Электронный адрес Электронный ресурс

Marc21

Показать

Документ

Страница 1 / 1