| 000 | 01347nam0a2200337 4500 | ||
|---|---|---|---|
| 001 | RU\NLR\bibl\201237 | ||
| 005 | 20260409074629.0 | ||
| 021 |
_aRU _b2001-25196 _91199 |
||
| 035 | _a(NLR Aleph) 000197587 | ||
| 090 |
_a1144348 _c1144348 |
||
| 100 | _a20010831d1999 u y0rusy50 ca | ||
| 101 | 0 | _arus | |
| 102 | _aRU | ||
| 105 | _ay ||||||||| | ||
| 200 | 1 |
_aВведение в теорию формального вывода программ _fВалидов Ф. И. _gМ-во общ. и проф. образования Рос. Федерации, М-во образования Респ. Татарстан, Ин-т экономики, упр. и права |
|
| 210 |
_aКазань _cТаглимат _d1999 |
||
| 215 |
_a99 с. _d21 |
||
| 606 |
_aПрограммы (компьют.) _3RU\NLR\auth\661311565 _92180999 |
||
| 610 | 0 | _aКомпьютеры персональные - Программное обеспечение | |
| 610 | 0 | _aМатематическая логика | |
| 675 |
_a004.42 _v3 _zrus |
||
| 686 |
_a50 _2rugasnti |
||
| 686 |
_a32.973.26-018 _2rubbk |
||
| 686 | _aЗ973.2-018 | ||
| 700 | 1 |
_aВалидов _gФарит Искандерович _4070 |
|
| 801 | 0 |
_aRU _bRKP _c20010831 _gPSBO |
|
| 801 | 1 |
_aRU _bRKP _c20010831 |
|
| 801 | 2 |
_aRU _bNLR _c20020125 _grcr |
|
| 942 | _cBOOK | ||
| 980 | _aNB | ||