|
|
|
|
|
00000cam0a2200000 ib4500 |
| 001 |
BY-CNB-br2309252 |
| 005 |
20170926205840.4 |
| 010 |
# |
# |
$a 978-5-94836-365-3
$b в переплете
|
| 100 |
# |
# |
$a 20140503d2014 fk y0rusy50 ||||ca
|
| 101 |
1 |
# |
$a rus
$c eng
|
| 102 |
# |
# |
$a RU
|
| 105 |
# |
# |
$a a ||||001yy
|
| 109 |
# |
# |
$a aa
|
| 200 |
1 |
# |
$a Валидация на системном уровне. Высокоуровневое моделирование и управление тестированием
$f Минсон Чэнь [и др.]
$g перевод с английского Е. Б. Махияновой
$g под редакцией А. Н. Ланцева
|
| 210 |
# |
# |
$a Москва
$c Техносфера
$d 2014
|
| 215 |
# |
# |
$a 294 с.
$c ил., табл.
$d 25 см
|
| 225 |
1 |
# |
$a Мир радиоэлектроники
$v XVII ― 22
|
| 300 |
# |
# |
$a Заглавие оригинала: System-Lebel Validation / by Mingsong Chen [et al.]
|
| 320 |
# |
# |
$a Библиография в конце глав
|
| 320 |
# |
# |
$a Предметный указатель: с. 289―294
|
| 345 |
# |
# |
$9 750 экз.
|
| 454 |
# |
0 |
$1 2001
$a System-Lebel Validation / Mingsong Chen, Xiaoke Qin, Heon-Mo Koo and Prabhat Mishra
$1 701 1
$a Chen
$b Mingsong
|
| 606 |
# |
# |
$3 BY-NLB-ar2735
$a АППАРАТНЫЕ СРЕДСТВА ЭВМ
$2 DVNLB
|
| 606 |
# |
# |
$3 BY-NLB-ar25725
$a ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ
$2 DVNLB
|
| 606 |
# |
# |
$3 BY-NLB-ar1697163
$a МНОГОЯДЕРНАЯ АРХИТЕКТУРА
$2 DVNLB
|
| 606 |
# |
# |
$3 BY-NLB-ar3351525
$a МНОГОЯДЕРНЫЕ ПРОЦЕССОРЫ
$2 DVNLB
|
| 606 |
# |
# |
$3 BY-NLB-ar1932814
$a СИСТЕМЫ НА КРИСТАЛЛЕ
$2 DVNLB
|
| 606 |
# |
# |
$3 BY-NLB-ar2510302
$a ТЕСТИРОВАНИЕ (вычисл. техника)
$2 DVNLB
|
| 606 |
# |
# |
$3 BY-NLB-ar2026644
$a ВАЛИДАЦИЯ
$2 DVNLB
|
| 606 |
# |
# |
$3 BY-NLB-ar13518
$a КЛАСТЕРИЗАЦИЯ
$2 DVNLB
|
| 606 |
# |
# |
$3 BY-NLB-ar18658
$a МОДЕЛИРОВАНИЕ
$2 DVNLB
|
| 606 |
0 |
# |
$3 BY-NLB-ar2301116
$a АРХИТЕКТУРНЫЕ РЕШЕНИЯ
$2 DVNLB
|
| 606 |
0 |
# |
$3 BY-NLB-ar18606
$a МНОГОПРОЦЕССОРНЫЕ СИСТЕМЫ
$2 DVNLB
|
| 606 |
0 |
# |
$3 BY-NLB-ar7080
$a ТРАНСЛЯЦИЯ (программирование)
$2 DVNLB
|
| 616 |
# |
# |
$3 BY-NLB-ar80945
$a VHDL
$c язык программирования
$2 BYVTM
|
| 675 |
# |
# |
$a 004.415.53
$v 4
$z rus
|
| 675 |
# |
# |
$a 004.312.052/.054
$v 4
$z rus
|
| 675 |
# |
# |
$a 004.272.26
$v 4
$z rus
|
| 686 |
# |
# |
$a 50.41.01
$v 6
$2 rugasnti
|
| 686 |
# |
# |
$a 50.09.31
$v 6
$2 rugasnti
|
| 686 |
# |
# |
$a 50.51
$v 6
$2 rugasnti
|
| 701 |
# |
1 |
$3 BY-SEK-ar8014525
$a Чэнь
$b М.
$g Минсон
$c автоматизация
|
| 702 |
# |
1 |
$3 BY-SEK-ar5406047
$a Махиянова
$b Е. Б.
$g Елена Борисовна
$4 730
|
| 702 |
# |
1 |
$3 BY-CNB-ar1269948
$a Ланцев
$b А. Н.
$4 340
|
| 801 |
# |
0 |
$a BY
$b BY-HM0005
$c 20140514
$g psbo
|
| 801 |
# |
2 |
$a BY
$b BY-HM0000
$c 20170926
$g psbo
|
