| 000 | 01585nam0a2200349 4500 | ||
|---|---|---|---|
| 001 | RU\NLR\b_ik\202010 | ||
| 005 | 20260409074753.0 | ||
| 021 |
_aRU _b2013-30416 _92087 |
||
| 035 | _a(NLR Aleph) 009997802 | ||
| 090 |
_a9773582 _c9773582 |
||
| 100 | _a20130514d2012 u y0rusy50 ca | ||
| 101 | 0 |
_aeng _drus |
|
| 102 | _aRU | ||
| 105 | _aa ||||||||| | ||
| 200 | 1 |
_aA formal approach to the error localization. _dФоÑмалÑнÑй Ð¿Ð¾Ð´Ñ Ð¾Ð´ к локализаÑии оÑибок _fA.V. Promsky _zrus |
|
| 210 |
_aNovosibirsk _cA.P. Ershov institute of informatics systems _d2012 |
||
| 215 |
_a32 Ñ. _cил. _d21 |
||
| 225 | 1 |
_aPreprint _dÐÑепÑÐ¸Ð½Ñ _fSiberian div. of the Russ. acad. of sciences, A.P. Ershov inst. of informatics systems _v169 |
|
| 300 | _aÐа паÑал. ÑиÑ. л. авÑ. на ÑÑÑ. Ñз.: Ð.Ð. ÐÑомÑкий | ||
| 300 | _aРез. на ÑÑÑ. Ñз. | ||
| 320 | _aÐиблиогÑ.: Ñ. 31-32 (13 назв.) | ||
| 510 | 1 |
_6z45790 _aФоÑмалÑнÑй Ð¿Ð¾Ð´Ñ Ð¾Ð´ к локализаÑии оÑибок _zrus |
|
| 606 |
_aÐÑогÑÐ°Ð¼Ð¼Ñ (компÑÑÑ.) _xÐеÑиÑикаÑÐ¸Ñ _3RU\NLR\AUTH\661327565 _92209898 |
||
| 686 | 1 | _aÐ973.2-018-07 | |
| 700 | 1 |
_4070 _8rus _7ba _aPromskij _bA. V. _gAleksej VladimiroviÄ _3RU\NLR\auth\7756504 _939436 |
|
| 790 | 1 |
_4070 _8rus _7ca _aÐÑомÑкий _bÐ. Ð. _gÐлекÑей ÐладимиÑÐ¾Ð²Ð¸Ñ _3RU\NLR\auth\7756503 _939435 |
|
| 801 | 0 |
_aRU _bNLR _c20130514 _gRCR |
|
| 801 | 1 |
_aRU _bNLR _c20130514 |
|
| 942 | _cBOOK | ||
| 980 | _aNB | ||