Исследование и разработка взаимодействия программ в АСУ на основе спецификаций темпоральной логики
автореферат дис. ... кандидата технических наук : 05.13.06;05.13.11
автореферат дис. ... кандидата технических наук : 05.13.06;05.13.11
Ленинград, 1990
Исследование и разработка взаимодействия программ в АСУ на основе спецификаций темпоральной логики
автореферат дис. ... кандидата технических наук : 05.13.06;05.13.11
Ленинград, 1990
Библиографическое описание
Скопировать
Урсу, Анатолий Георгиевич. Исследование и разработка взаимодействия программ в АСУ на основе спецификаций темпоральной логики : автореферат дис. ... кандидата технических наук : 05.13.06;05.13.11 / Ленингр. электротехн. ин-т. — Ленинград, 1990. — 16 с..
Детальная информация
Код документа в НЭБ
000199_000009_000027754
Каталог
Автор(ы)
Заглавие
Исследование и разработка взаимодействия программ в АСУ на основе спецификаций темпоральной логики : автореферат дис. кандидата технических наук : 05.13.06;05.13.11
Место издания
Ленинград
Год издания
1990
Объем
16 с.
Ответственность
Ленингр. электротехн. ин-т
ББК
З973.233-018,0
Язык
Русский
Еще
Библиотека
LDR
01642nam a2200313 i 4500
001
000027754
003
RuMoRGB
005
20071026120000.0
008
910221s1990 ru |||| a |00 u rus d
017
##
$a: 90-22939А
$b: RuMoRKP
$a: 90-22939А
$b: RuMoRKP
035
##
$a: (RuMoRGB)DIS-0028039
$a: (RuMoRGB)DIS-0028039
040
##
$a: RuMoRGB
$b: rus
$c: RuMoRGB
$a: RuMoRGB
$b: rus
$c: RuMoRGB
041
##
$a: rus
$a: rus
072
#1
$a: 05.13.06
$2: nsnr
$a: 05.13.06
$2: nsnr
072
#1
$a: 05.13.11
$2: nsnr
$a: 05.13.11
$2: nsnr
084
##
$a: З973.233-018,0
$2: rubbk
$a: З973.233-018,0
$2: rubbk
100
1#
$a: Урсу, Анатолий Георгиевич
$a: Урсу, Анатолий Георгиевич
245
##
$a: Исследование и разработка взаимодействия программ в АСУ на основе спецификаций темпоральной логики :
$b: автореферат дис. ... кандидата технических наук : 05.13.06;05.13.11
$c: Ленингр. электротехн. ин-т
$a: Исследование и разработка взаимодействия программ в АСУ на основе спецификаций темпоральной логики :
$b: автореферат дис. ... кандидата технических наук : 05.13.06;05.13.11
$c: Ленингр. электротехн. ин-т
260
##
$a: Ленинград
$c: 1990
$a: Ленинград
$c: 1990
300
##
$a: 16 с.
$a: 16 с.
650
#1
$a: Автоматизированные системы управления
$2: nsnr
$a: Автоматизированные системы управления
$2: nsnr
650
#1
$a: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
$2: nsnr
$a: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
$2: nsnr
787
11
$w: 008099055
$i: Диссертация
$w: 008099055
$i: Диссертация
852
1#
$a: РГБ
$b: FB
$c: D13N
$j: 9 90-10/1366-6
$x: 90
$a: РГБ
$b: FB
$c: D13N
$j: 9 90-10/1366-6
$x: 90
852
1#
$a: РГБ
$b: FB
$c: T026
$j: 9 90-10/1367-4
$x: 82
$a: РГБ
$b: FB
$c: T026
$j: 9 90-10/1367-4
$x: 82
856
11
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01000000000/rsl01000027000/rsl01000027754/rsl01000027754.pdf
$y: Читать
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01000000000/rsl01000027000/rsl01000027754/rsl01000027754.pdf
$y: Читать
Национальная электронная библиотека (НЭБ) предлагает Вам ознакомиться с подробной информацией о документе: « Исследование и разработка взаимодействия программ в АСУ на основе спецификаций темпоральной логики : автореферат дис. кандидата технических наук : 05.13.06;05.13.11 » , автор — Урсу А.Г.. Документ был опубликован в 1990 году. Место издания — Ленинград. Электронный ресурс – электронная копия документа предоставлена в НЭБ библиотекой "Российская государственная библиотека". Фонд библиотеки расположен по адресу: 119019, Москва, ул. Воздвиженка, 3/5. На сайте rusneb.ru Вы можете читать онлайн оцифрованную версию документа « Исследование и разработка взаимодействия программ в АСУ на основе спецификаций темпоральной логики : автореферат дис. кандидата технических наук : 05.13.06;05.13.11 » в удобной системе просмотра документов. Документ также доступен для скачивания в форматах: pdf.