Исследование и разработка взаимодействия программ в АСУ на основе спецификаций темпоральной логики
диссертация ... кандидата технических наук : 05.13.06
диссертация ... кандидата технических наук : 05.13.06
Ленинград, 1990
Исследование и разработка взаимодействия программ в АСУ на основе спецификаций темпоральной логики
диссертация ... кандидата технических наук : 05.13.06
Ленинград, 1990
Библиографическое описание
Скопировать
Урсу, Анатолий Георгиевич. Исследование и разработка взаимодействия программ в АСУ на основе спецификаций темпоральной логики : диссертация ... кандидата технических наук : 05.13.06 / Ленингр. электротехн. ин-т. — Ленинград, 1990. — 207 с. : ил..
Детальная информация
Код документа в НЭБ
000199_000009_008099055
Каталог
Автор(ы)
Заглавие
Исследование и разработка взаимодействия программ в АСУ на основе спецификаций темпоральной логики : диссертация . кандидата технических наук : 05.13.06
Место издания
Ленинград
Год издания
1990
Объем
207 с.
Ответственность
Ленингр. электротехн. ин-т
ББК
з973.233-018,0
Язык
Русский
Еще
Библиотека
LDR
01189nam a2200253 i 4500
001
008099055
003
RuMoRGB
005
20151218094046.0
008
910221s1990 ru |||| a |00 u rus d
017
##
$a: д16312-91
$b: RuMoRGB
$a: д16312-91
$b: RuMoRGB
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
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
$c: Ленингр. электротехн. ин-т
$a: Исследование и разработка взаимодействия программ в АСУ на основе спецификаций темпоральной логики :
$b: диссертация ... кандидата технических наук : 05.13.06
$c: Ленингр. электротехн. ин-т
260
##
$a: Ленинград
$c: 1990
$a: Ленинград
$c: 1990
300
##
$a: 207 с.
$b: ил.
$a: 207 с.
$b: ил.
504
##
$a: Библиогр.: с. 173-207
$a: Библиогр.: с. 173-207
650
#1
$a: Автоматизированные системы управления
$2: nsnr
$a: Автоматизированные системы управления
$2: nsnr
787
11
$w: 000027754
$i: Автореферат
$w: 000027754
$i: Автореферат
852
1#
$a: РГБ
$b: OD
$c: HL03
$j: 61 91-5/3579
$x: 39
$a: РГБ
$b: OD
$c: HL03
$j: 61 91-5/3579
$x: 39
LKR
##
$a: PAR
$l: RSL01
$b: 000027754
$m: Диссертация
$n: Автореферат
$a: PAR
$l: RSL01
$b: 000027754
$m: Диссертация
$n: Автореферат
Национальная электронная библиотека (НЭБ) предлагает Вам ознакомиться с подробной информацией о документе: « Исследование и разработка взаимодействия программ в АСУ на основе спецификаций темпоральной логики : диссертация . кандидата технических наук : 05.13.06 » , автор — Урсу А.Г.. Документ был опубликован в 1990 году. Место издания — Ленинград. Информация о документе предоставлена в НЭБ библиотекой "Российская государственная библиотека". Фонд библиотеки расположен по адресу: 119019, Москва, ул. Воздвиженка, 3/5.