Вы находитесь на новой версии портала Национальной Электронной Библиотеки. Если вы хотите воспользоваться старой версией, перейдите по ссылке .
Версия для слепых
Исследование и разработка взаимодействия программ в АСУ на основе спецификаций темпоральной логики
«Исследование и разработка взаимодействия программ в АСУ на основе спецификаций темпоральной логики» — Урсу А.Г. — издание: 1990
Урсу Анатолий Георгиевич

Исследование и разработка взаимодействия программ в АСУ на основе спецификаций темпоральной логики

Урсу А.Г.
16 с.
Количество страниц
Год издания
Ленинград
Место издания

О произведении

Ответственность
Ленингр. электротехн. ин-т
ББК
З973.233-018,0
Библиотека
Российская государственная библиотека (РГБ)