| 000 | 01065nam a2200277 i 4500 | ||
|---|---|---|---|
| 001 | 3043 | ||
| 003 | UA-KpCNTU | ||
| 005 | 20250509213655.0 | ||
| 008 | 100615s2008 unr|||||||||||00| |yrus d | ||
| 020 |
_a978-966-662-184-2 _c45.00 грн. |
||
| 040 |
_bukr _cЦНТУ |
||
| 041 | _arus | ||
| 080 | _a32.973.2-018 | ||
| 100 | 1 | _aТарасюк, О. М. | |
| 245 | 0 | 0 |
_aФормальные методы разработки критического программного обеспечения _b: практикум _c/ О. М. Тарасюк, А. В. Горбенко ; под ред. В. С. Харченко |
| 260 |
_aХарьков : _bХАИ, _c2008 |
||
| 300 | _a116 с. | ||
| 490 | _aTempus. Education and Culture | ||
| 650 | 0 | 4 | _aПрограмне забезпечення |
| 650 | 0 | 4 | _aПрограмування ЕОМ |
| 700 | 1 | _aГорбенко, А. В. | |
| 700 | 1 | _aХарченко, В. С. | |
| 852 |
_h32.973.2-018 _iТ19 |
||
| 942 |
_2udc _cBKS _h32.973.2-018 _iТ19 _n0 |
||
| 999 |
_c3043 _d3043 |
||