| 000 | 00975nab a2200265u##4500 | ||
|---|---|---|---|
| 001 | komp/756209 | ||
| 003 | POUNB | ||
| 005 | 20240110113529.0 | ||
| 008 | 130129u20129999ru_ rus d | ||
| 040 |
_aПОУНБ _brus |
||
| 041 | _arus | ||
| 044 | _aRU | ||
| 100 | 1 |
_aЛЕТИЧЕВСКИЙ ,А. А. _4aut |
|
| 245 | 0 | 0 |
_aСИСТЕМА ДОКАЗАТЕЛЬНОГО ПРОГРАММИРОВАНИЯ _cА. А. ЛЕТИЧЕВСКИЙ , М. К. МОРОХОВЕЦ, В. С. ПЕСЧАНЕНКО |
| 773 | 0 |
_tУПРАВЛЯЮЩИЕ СИСТЕМЫ И МАШИНЫ. - 2012. - № 6. - С. 64-71. _d2012 _wУПР/2012/6 _02050022 _91925264 |
|
| 084 |
_a32.973.2-018 _2rubbk |
||
| 700 | 1 |
_aМОРОХОВЕЦ,М. К. _4aut |
|
| 700 | 1 |
_aПЕСЧАНЕНКО,В. С. _4aut |
|
| 942 | _cARTICLE | ||
| 090 | _xЛ 52 | ||
| 991 |
_bkomp _c32.973.2-018/Л 52-684621 |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_aunmediated _bn _2rdamedia |
||
| 338 |
_asheet _bnb _2rdacarrier |
||
| 999 |
_c2345276 _d2345276 |
||