|
|
|
|
| LEADER |
00000nam0a2200000 4500 |
| 001 |
241579 |
| 005 |
20231031210001.0 |
| 010 |
|
|
|a 5120003818
|
| 035 |
|
|
|a (RuTPU)RU\TPU\book\262854
|
| 090 |
|
|
|a 241579
|
| 100 |
|
|
|a 20130806d1990 k y0rusy50 ca
|
| 101 |
1 |
|
|a rus
|c eng
|
| 102 |
|
|
|a UA
|
| 105 |
|
|
|a a z 001zy
|
| 200 |
1 |
|
|a Прверка и утверждение программ реального времени
|e пер. с англ.
|f под ред. Уи. Дж. Квирка
|
| 210 |
|
|
|a Киев
|c Наукова думка
|d 1990
|
| 215 |
|
|
|a 214 с.
|c ил.
|
| 320 |
|
|
|a Библиогр.: с. 194-210.
|
| 320 |
|
|
|a Англо-русский словарь терминов: с. 211-213.
|
| 606 |
1 |
|
|a Вычислительные системы реального времени
|x Программы
|2 stltpush
|3 (RuTPU)RU\TPU\subj\4410
|
| 610 |
1 |
|
|a реальное время
|
| 610 |
1 |
|
|a программы
|
| 610 |
1 |
|
|a характеристики
|
| 610 |
1 |
|
|a проблемы
|
| 610 |
1 |
|
|a надежность
|
| 610 |
1 |
|
|a создание
|
| 610 |
1 |
|
|a системы
|
| 610 |
1 |
|
|a проверка
|
| 610 |
1 |
|
|a утверждение
|
| 610 |
1 |
|
|a унифицированные среды
|
| 610 |
1 |
|
|a структурный анализ
|
| 610 |
1 |
|
|a доказательство
|
| 610 |
1 |
|
|a тестирование
|
| 610 |
1 |
|
|a цели
|
| 610 |
1 |
|
|a имитация
|
| 610 |
1 |
|
|a утверждение
|
| 675 |
|
|
|a 681.324.014
|v 3
|
| 702 |
|
1 |
|a Квирк
|b Уи. Дж.
|4 340
|
| 801 |
|
1 |
|a RU
|b 63413507
|c 20130806
|
| 801 |
|
2 |
|a RU
|b 63413507
|c 20131017
|g RCR
|
| 942 |
|
|
|c BK
|
