| 000 | 00703nam a22002057a 4500 | ||
|---|---|---|---|
| 003 | Ge_NSL | ||
| 005 | 20160725123910.0 | ||
| 008 | 160725s2001 ru ||||| |||| 00| 0 rus d | ||
| 020 | _a5120005543 | ||
| 041 | _arus | ||
| 080 | _a519.21 | ||
| 100 | _aКоваль, В. | ||
| 245 |
_aКонцепторные языки : _bДоказательное проектирование / _cВ. Коваль ; Науч. Ин-т им. В. М. Глушкова. |
||
| 264 |
_aМосква, _c2001. |
||
| 300 | _a173 с. | ||
| 653 | _aალბათობის თეორია | ||
| 653 | _aმათემატიკა | ||
| 710 | _aНауч. Ин-т им. В. М. Глушкова | ||
| 942 |
_2udc _cBK |
||
| 999 |
_c72117 _d72117 |
||