| 000 | 00982nam a2200253 i 4500 | ||
|---|---|---|---|
| 001 | 2291 | ||
| 003 | OSt | ||
| 005 | 20250410094823.0 | ||
| 008 | 100615s2009 unr||||||f||||00| |yrus d | ||
| 020 |
_a978-966-96770-8-2 _c50.00 грн. |
||
| 040 |
_bukr _cЦНТУ |
||
| 080 | _a32.973.2-018 | ||
| 100 | 1 | _aТарасюк, О. М. | |
| 245 | 0 | 0 |
_aФормальные методы разработки критического программного обеспечения : _bлекц. материал / _cО. М. Тарасюк, А. В. Горбенко ; под ред. В. С. Харченко |
| 260 |
_aХарьков : _bХАИ, _c2009 |
||
| 300 | _a214 с. | ||
| 440 | 0 | _aTempus. Education and Culture | |
| 650 | 0 | 4 | _aПрограмне забезпечення |
| 700 | 1 | _aГорбенко, А. В. | |
| 700 | 1 | _aХарченко, В. С. | |
| 852 |
_h32.973.2-018 _iТ19 |
||
| 942 |
_2udc _n0 _cBKS _h32.973.2-018 _iТ19 |
||
| 999 |
_c2291 _d2291 |
||