| 000 | 01083nam0a2200325 4500 | ||
|---|---|---|---|
| 001 | 141256 | ||
| 005 | 20231029185120.0 | ||
| 010 | _a185233245X | ||
| 035 | _a(RuTPU)RU\TPU\book\153106 | ||
| 090 | _a141256 | ||
| 100 | _a20080807d2001 k y0engy50 ba | ||
| 101 | 0 | _aeng | |
| 102 | _aGB | ||
| 105 | _aa z 001zy | ||
| 200 | 1 |
_aRefinement in Z and Object-Z. Foundations and Advanced Applications _fJ. Derrick, E. Boiten |
|
| 210 |
_aLondon _cSpringer-Verlag _d2001 |
||
| 215 |
_a466 p. _cil. |
||
| 320 | _aBibliography: p. 449-460. | ||
| 320 | _aIndex: p. 461-466. | ||
| 610 | 1 | _aобъектно-ориентированное программирование | |
| 610 | 1 | _aязыки программирования | |
| 610 | 1 | _aинформационные технологии | |
| 610 | 1 | _aкомпьютерные технологии | |
| 610 | 1 | _aанглийский язык | |
| 675 |
_a681.3.068 _v3 |
||
| 700 | 1 |
_aDerrick _bJ. _gJohn |
|
| 701 | 1 |
_aBoiten _bE. _gEerke |
|
| 801 | 1 |
_aRU _b63413507 _c20080807 _gPSBO |
|
| 801 | 2 |
_aRU _b63413507 _c20080919 _gPSBO |
|
| 942 | _cBK | ||