| 000 | 01139nam0a2200349 4500 | ||
|---|---|---|---|
| 001 | 141269 | ||
| 005 | 20231029185121.0 | ||
| 010 | _a3540657037 | ||
| 035 | _a(RuTPU)RU\TPU\book\153119 | ||
| 090 | _a141269 | ||
| 100 | _a20080807d1999 k y0engy50 ba | ||
| 101 | 0 | _aeng | |
| 102 | _aDE | ||
| 105 | _aa z 101zy | ||
| 200 | 1 |
_aTools and Algorithms for the Construction and Analysis of Systems _fпод ред. R. Cleaveland |
|
| 210 |
_aBerlin _cSpringer-Verlag _d1999 |
||
| 215 |
_a443 p. _cil. |
||
| 320 | _aReferences at the end of chapters. | ||
| 610 | 1 | _aпрограммирование | |
| 610 | 1 | _aпрограммное обеспечение | |
| 610 | 1 | _aязыки программирования | |
| 610 | 1 | _aприложения | |
| 610 | 1 | _aинструменты | |
| 610 | 1 | _aаналитические методы | |
| 610 | 1 | _aбезопасность | |
| 610 | 1 | _aанглийский язык | |
| 610 | 1 | _aконференции | |
| 675 |
_a681.3.06(063) _v3 |
||
| 702 | 1 |
_aCleaveland _bR. _gRance _4340 |
|
| 801 | 1 |
_aRU _b63413507 _c20080807 _gPSBO |
|
| 801 | 2 |
_aRU _b63413507 _c20080919 _gPSBO |
|
| 942 | _cBK | ||