LDR 01468naa#a2200181#i#450#
001     RU\INFRA-M\bibl\113673
005     20260522074538.5
011 ## _a2500-3313
100 ## _a20260331b2026####ek#y0rusy0150####ca
102 ## _aRU
200 1# _aВерификация как средство бездефектного функционирования специального программного обеспечения в многопроцессорных вычислительных системах
       _eЖурнальная статья
210 1# _aМосква
       _cОбщество с ограниченной ответственностью «Научно-издательский центр ИНФРА-М»
       _d2026
215 ## _a6 с.
608 ## _aЖурнальная статья
       _2local
675 ## _aЭлементы и узлы систем автоматического регулирования, следящих систем. Системы автоматического управления и регулирования. 681.58
       _aГарантии качества программного обеспечения. 004.415.5
       _aФормальная техническая проверка. 004.415.52
       _aТестирование программного обеспечения. 004.415.53
       _aИнженерное дело. Техника в целом. Транспорт. 62
       _z
700 #1 _aЗдиорук
       _gД. А.
700 #1 _aМарченкова
       _gЕ. Р.
856 4# _anaukaru.ru
       _u