Верификация проектов аппаратных средств ЭВМ на основе модели взаимодействующих последовательных процессов
диссертация ... кандидата технических наук : 05.13.13
диссертация ... кандидата технических наук : 05.13.13
Санкт-Петербург, 1994
Верификация проектов аппаратных средств ЭВМ на основе модели взаимодействующих последовательных процессов
диссертация ... кандидата технических наук : 05.13.13
Санкт-Петербург, 1994
Библиографическое описание
Скопировать
Мохаммад, Али Абдул Амир. Верификация проектов аппаратных средств ЭВМ на основе модели взаимодействующих последовательных процессов : диссертация ... кандидата технических наук : 05.13.13. — Санкт-Петербург, 1994. — 165 с. : ил..
Детальная информация
Код документа в НЭБ
000199_000009_000187575
Каталог
Автор(ы)
Заглавие
Верификация проектов аппаратных средств ЭВМ на основе модели взаимодействующих последовательных процессов : диссертация . кандидата технических наук : 05.13.13
Место издания
Санкт-Петербург
Год издания
1994
Объем
165 с.
ББК
з973.2-047-02,0
Язык
Русский
Еще
Библиотека
LDR
01217nam a2200265 i 4500
001
000187575
003
RuMoRGB
005
20071029120000.0
008
981015s1994 ru |||| m |00 u rus d
017
##
$a: д7158-94
$b: RuMoRGB
$a: д7158-94
$b: RuMoRGB
035
##
$a: (RuMoRGB)DIS-0376883
$a: (RuMoRGB)DIS-0376883
040
##
$a: RuMoRGB
$b: rus
$c: RuMoRGB
$a: RuMoRGB
$b: rus
$c: RuMoRGB
041
##
$a: rus
$a: rus
072
#1
$a: 05.13.13
$2: nsnr
$a: 05.13.13
$2: nsnr
084
##
$a: з973.2-047-02,0
$2: rubbk
$a: з973.2-047-02,0
$2: rubbk
100
1#
$a: Мохаммад, Али Абдул Амир
$a: Мохаммад, Али Абдул Амир
245
##
$a: Верификация проектов аппаратных средств ЭВМ на основе модели взаимодействующих последовательных процессов :
$b: диссертация ... кандидата технических наук : 05.13.13
$a: Верификация проектов аппаратных средств ЭВМ на основе модели взаимодействующих последовательных процессов :
$b: диссертация ... кандидата технических наук : 05.13.13
260
##
$a: Санкт-Петербург
$c: 1994
$a: Санкт-Петербург
$c: 1994
300
##
$a: 165 с.
$b: ил.
$a: 165 с.
$b: ил.
504
##
$a: Библиогр.: с. 140-146
$a: Библиогр.: с. 140-146
650
#1
$a: Вычислительные машины, комплексы, системы и сети
$2: nsnr
$a: Вычислительные машины, комплексы, системы и сети
$2: nsnr
787
11
$w: 000011115
$i: Автореферат
$w: 000011115
$i: Автореферат
852
1#
$a: РГБ
$b: OD
$c: HL02
$j: 61 94-5/1145
$x: 39
$a: РГБ
$b: OD
$c: HL02
$j: 61 94-5/1145
$x: 39
LKR
##
$a: PAR
$l: RSL01
$b: 000011115
$m: Диссертация
$n: Автореферат
$a: PAR
$l: RSL01
$b: 000011115
$m: Диссертация
$n: Автореферат
Национальная электронная библиотека (НЭБ) предлагает Вам ознакомиться с подробной информацией о документе: « Верификация проектов аппаратных средств ЭВМ на основе модели взаимодействующих последовательных процессов : диссертация . кандидата технических наук : 05.13.13 » , автор — Мохаммад Али Абдул Амир. Документ был опубликован в 1994 году. Место издания — Санкт-Петербург. Информация о документе предоставлена в НЭБ библиотекой "Российская государственная библиотека". Фонд библиотеки расположен по адресу: 119019, Москва, ул. Воздвиженка, 3/5.