|
Книга ID: 27741
Исследование и разработка взаимодействия программ в АСУ на основе спецификаций темпоральной логики : автореферат дис. ... кандидата технических наук : 05.13.06;05.13.11 Ленингр. электротехн. ин-т
Тематика, ключевые слова:
Автоматизированные системы управления. Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.
Сведения об издании:
Ленинград 1990 16 с.
Язык:
rus
|
|