|
|
|
|
|
00000cam0a22000001ib4500 |
| 001 |
BY-NLB-rr25326270000 |
| 005 |
20200228141304.0 |
| 010 |
# |
# |
$a 5-12-000381-8
$d 3 р.
|
| 021 |
# |
# |
$a RU
$b [90-42651]
|
| 100 |
# |
# |
$a 20071203d1990 y0rusy50 ||||ca
|
| 101 |
0 |
# |
$a rus
|
| 102 |
# |
# |
$a UA
|
| 200 |
1 |
# |
$a Проверка и утверждение программ реального времени
$f [Болонья С., Эренбергер У., Пур-Вестерхейд П. и др.]
$g Пер. с англ. А. А. Стукаленко; Под ред. А. И. Никитина
|
| 210 |
# |
# |
$a Киев
$c Наук. думка
$d 1990
|
| 215 |
# |
# |
$a 212, [1] с.
$c ил.
$d 20 см
|
| 300 |
# |
# |
$a Авт. указаны перед вып. дан. - Библиогр.: с. 194-210. - Перевод изд.: Verification and validation of real-time software (Berlin etc., 1986)
|
| 345 |
# |
# |
$9 1400 экз.
|
| 610 |
0 |
# |
$a Вычислительные системы реального времени - Программное обеспечение - Надежность
|
| 675 |
# |
# |
$a 681.3.014.06
|
| 701 |
# |
1 |
$a Болонья
$b С.
|
| 702 |
# |
1 |
$a Никитин
$b А. И.
$g Андрей Иванович
$4 340
|
| 801 |
# |
1 |
$a BY
$b BY-HM0000
$c 20071203
$g psbo
|
