|
|
|
|
| LEADER |
00000nla2a2200000 4500 |
| 001 |
225004 |
| 005 |
20231031200813.0 |
| 035 |
|
|
|a (RuTPU)RU\TPU\book\245332
|
| 035 |
|
|
|a RU\TPU\book\245283
|
| 090 |
|
|
|a 225004
|
| 100 |
|
|
|a 20121101d2012 k y0rusy50 ca
|
| 101 |
0 |
|
|a rus
|
| 102 |
|
|
|a RU
|
| 105 |
|
|
|a y z 101zy
|
| 135 |
|
|
|a drcn ---uucaa
|
| 181 |
|
0 |
|a i
|
| 182 |
|
0 |
|a b
|
| 200 |
1 |
|
|a Подход к автоматизации формальной верификации модулей системного обмена микропроцессоров
|b Электронный ресурс
|f И. А. Стотланд, А. Г. Васильев
|g Московский государственный институт радиотехники, электроники и автоматики (Технический университет) (МИРЭА) ; науч. рук. Т. А. Деменкова
|
| 203 |
|
|
|a Текст
|c электронный
|
| 215 |
|
|
|a 1 файл (855 Kb)
|
| 225 |
1 |
|
|a Секция 7: Информатика и управление в технических системах
|
| 230 |
|
|
|a Электронные текстовые данные (1 файл : 855 Kb)
|
| 300 |
|
|
|a Заглавие с титульного листа
|
| 320 |
|
|
|a [Библиогр.: с. 408 (5 назв.)]
|
| 337 |
|
|
|a Adobe Reader
|
| 461 |
|
1 |
|0 (RuTPU)RU\TPU\book\240890
|t Современные техника и технологии
|o сборник трудов XVIII международной научно-практической конференции студентов, аспирантов и молодых ученых, Томск, 9-13 апреля 2012 г
|o в 3 т.
|f Национальный исследовательский Томский политехнический университет (ТПУ)
|d 2012
|
| 463 |
|
1 |
|0 (RuTPU)RU\TPU\book\242828
|t Т. 2
|v [С. 407-408]
|d 2012
|p 473 с.
|
| 610 |
1 |
|
|a электронный ресурс
|
| 610 |
1 |
|
|a автоматизация
|
| 610 |
1 |
|
|a формальные модели
|
| 610 |
1 |
|
|a верификация
|
| 610 |
1 |
|
|a системный подход
|
| 610 |
1 |
|
|a обмен
|
| 610 |
1 |
|
|a микропроцессоры
|
| 700 |
|
1 |
|a Стотланд
|b И. А.
|
| 701 |
|
1 |
|a Васильев
|b А. Г.
|
| 702 |
|
1 |
|a Деменкова
|b Т. А.
|4 727
|
| 712 |
0 |
2 |
|a Московский государственный институт радиотехники, электроники и автоматики (Технический университет) (МИРЭА)
|2 stltpush
|3 (RuTPU)RU\TPU\col\119
|
| 801 |
|
2 |
|a RU
|b 63413507
|c 20130924
|g RCR
|
| 856 |
4 |
|
|u http://www.lib.tpu.ru/fulltext/v/Conferences/2012/C2/V2/v2_200.pdf
|
| 942 |
|
|
|c CF
|
