| 000 | 01778nam0a2200385 4500 | ||
|---|---|---|---|
| 001 | RU\NLR\BIBL_A\010353284 | ||
| 005 | 20260409074754.0 | ||
| 021 |
_aRU _b14-16842 |
||
| 035 | _a(NLR Aleph) 010353284 | ||
| 035 | _a(NILC)RuMoRGB-006758959 | ||
| 090 |
_a10754523 _c10754523 |
||
| 100 | _a20140505d2013 u y0rusy50 ca | ||
| 101 | 0 | _arus | |
| 102 | _aRU | ||
| 105 | _ay|||z|||||||| | ||
| 200 | 1 |
_aКонцептуальный базис трехуровневого метода верификации С# программ _eConceptual basis of three-level method of C# program verification _fИ. С. Ануреев _zeng |
|
| 210 |
_aНовосибирск _cИн-т систем информатики _d2013 |
||
| 215 |
_a42 с. _d21 |
||
| 225 | 2 |
_aПрепринт _fРос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова _v170 |
|
| 300 | _aАвт. также на англ. яз.: Anureev I.S. | ||
| 320 | _aБиблиогр.: с. 42 (9 назв.) | ||
| 510 | 1 |
_6я01790 _aConceptual basis of three-level method of C# program verification _zeng |
|
| 606 | 1 |
_aC#, язык программирования _92206739 _3RU\NLR\AUTH\661325801 |
|
| 606 |
_aПрограммы (компьют.) _xВерификация _3RU\NLR\AUTH\661327565 _92209898 |
||
| 675 | _a004.438 | ||
| 686 | 1 | _aЗ973.2-018-07 | |
| 686 | 1 | _aЗ973.23-018.1 | |
| 700 | 1 |
_8rus _7ca _aАнуреев _bИ. С. _gИгорь Сергеевич _3RU\NLR\AUTH\7744383 _927324 |
|
| 790 | 1 |
_4070 _8rus _7ba _aAnureev _bI. S. _gIgor' Sergeevič _3RU\NLR\AUTH\7744387 _927328 |
|
| 801 | 0 |
_aRU _bRuMoRKP _c20140306 _gRCR |
|
| 801 | 2 |
_aRU _bРГБ _c20140404 _grcr |
|
| 942 | _cBOOK | ||
| 980 | _aNB | ||