| 000 | 01758nam0a2200349 4500 | ||
|---|---|---|---|
| 001 | RU\NLR\bibl\1105075 | ||
| 005 | 20260409074752.0 | ||
| 021 |
_aRU _b2007-35522 _91884 |
||
| 035 | _a(NLR Aleph) 001092143 | ||
| 090 |
_a1125062 _c1125062 |
||
| 100 | _a20070704d2006 k y0rusy50 ca | ||
| 101 | 0 |
_arus _deng |
|
| 102 | _aRU | ||
| 105 | _ay ||||||||| | ||
| 200 | 1 |
_aНа пути к верификации C#-программ: алгоритмы перевода из C#-LIGHT в C#-KERNEL _dTowards C# program verification: algorithms of translation from C#-LIGHT into C#-KERNEL _fИ.В. Дубрановский _zeng |
|
| 210 |
_aНовосибирск _cИнститут систем информатики СО РАН _d2006 |
||
| 215 |
_a55 с. _d21 |
||
| 225 | 1 |
_aПрепринт _fРос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова _v140 |
|
| 300 | _aАвт. также на англ. яз.: Igor V. Dubranovsky | ||
| 300 | _aРез. на англ. яз. | ||
| 320 | _aБиблиогр.: с. 54-55 (10 назв.) | ||
| 510 | 0 |
_6z11790 _aTowards C# program verification: algorithms of translation from C#-LIGHT into C#-KERNEL _zeng |
|
| 606 |
_aПрограммы (компьют.) _xВерификация _3RU\NLR\auth\661327565 _92209898 |
||
| 606 | 1 |
_aC#, язык программирования _92206739 _3RU\NLR\auth\661325801 |
|
| 686 | _aЗ973.2-018-07 | ||
| 700 | 1 |
_4070 _8rus _7ca _aДубрановский _bИ.В. _gИгорь В. _3RU\NLR\auth\7728348 _911379 |
|
| 790 | 1 |
_4070 _8rus _7ba _aDubranovskij _bI.V. _gIgor' V. _3RU\NLR\auth\7728350 _911381 |
|
| 801 | 0 |
_aRU _bNLR _c20070704 _gRCR |
|
| 801 | 1 |
_aRU _bNLR _c20070704 |
|
| 942 | _cBOOK | ||
| 980 | _aNB | ||