| 000 | 01060nam a2200241 4500 | ||
|---|---|---|---|
| 003 | AM-YeNLA | ||
| 005 | 20230328112933.0 | ||
| 008 | 970708s1982 ru |||||r|||||000|0|rus|| | ||
| 040 |
_brus _dAM-YeNLA |
||
| 041 | 0 | _arus | |
| 080 | _a681.3 (NLA) | ||
| 100 | 1 | _aАндерсон, Роберт | |
| 245 | 1 | 0 |
_aДоказательство правильности программ / _cР. Андерсон ; Пер. с англ. Б.Н. Зобниной ; Под ред. Д.Б. Подшивалова. |
| 260 |
_aМосква : _bМир, _c1982. |
||
| 300 |
_a163 с. ; _c20 см. |
||
| 500 | _aամբողջապես կամ մեկ օրացույցային տարվա ընթացքում հրատարակվող մենագրություն 1982 | ||
| 534 |
_pОригинал на англ. : _aRobert B. Anderson - _cNew York : 1979 |
||
| 650 | 1 | 4 | _aЦифровые вычислительные машины |
| 700 | 1 |
_aЗобнина, Б.Н. _eпер. _4trl |
|
| 700 | 1 |
_aПодшивалов, Д.Б. _eред. _4edt |
|
| 942 |
_2udc _cBK |
||
| 998 | _cNLAANNA_13 | ||
| 999 |
_c64886 _d64886 |
||