| 000 | 00718nam a22001937a 4500 | ||
|---|---|---|---|
| 005 | 20240826073619.0 | ||
| 008 | 240826b |||||||| |||| 00| 0 rus d | ||
| 040 |
_aIAP _cIAP |
||
| 041 |
_arus _heng |
||
| 100 | 1 | _aАндерсон, Роберт | |
| 245 | 1 | 0 |
_aДоказательство правильности программ / _cР. Андерсон пер.: Б. Н. Зобнина; ред.: Д. Б. Подшивалов |
| 246 | 1 | 5 | _aProwing programs correct |
| 260 |
_aМосква: _bМир, _c1982. |
||
| 300 |
_a168 с. _bил. |
||
| 504 | _aБиблиогр.: с. 154-160 | ||
| 700 |
_aЗобнина, Б. Н. _eпер. |
||
| 700 |
_aПодшивалов, Д. Б. _eред. |
||
| 942 |
_2udc _cBK _n0 |
||
| 999 |
_c68679 _d68679 |
||