000 01444cam0 2200349 ib4500
001 BY-MA0000-br85067601
005 20211221144854.0
010 ^a5-12-000381-8
100 ^a20121115d1990 u y0rusy50 ca
101 1 ^arus
^ceng
102 ^aUA
105 ^aa z 000yy
109 ^azz
200 1 ^aПроверка и утверждение программ реального времени
^f[Болонья С.,Эренбергер У.,Пур-Вестерхейд П. и др.]
^gПер. с англ.А.А.Стукаленко ; Под ред.А.И.Никитина
210 ^aКиев
^cНаук. думка
^d1990
215 ^a212, [1] с.
^cил.
^d20 см.
320 ^aБиблиогр.: с. 194-210
345 ^91400 экз.
606 ^aВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ
^3BY-NLB-ar6634
^2DVNLB
606 ^aПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ
^3BY-NLB-ar25725
^2DVNLB
606 ^aНАДЕЖНОСТЬ
^3BY-NLB-ar19436
^2DVNLB
675 ^a681.3.014.06
^v3
^zrus
686 ^a32.973
^2rubbk
690 ^a1
^2Base
^9BY-MA0000
^xRSEK
701 1 ^3BY-CNB-ar1093644
^aБолонья
^bС.
701 1 ^3BY-CNB-ar1093645
^aЭренбергер
^bУ.
701 1 ^3BY-CNB-ar1093646
^aПур-Вестерхейд
^bП.
801 0 ^aBY
^bBY-MA0000
^c20180316
^gpsbo
899 ^aBY-MA0000
^h32.973
^iП 78