| 000 | 00478nam a22001697a 4500 | ||
|---|---|---|---|
| 008 | 230323b |||||||| |||| 00| 0 eng d | ||
| 040 |
_aNational Science Library _cNational Science Library |
||
| 080 |
_aD 681.3.06 _bN3 |
||
| 245 | _aFormal methods in systems engineering | ||
| 260 |
_aLondon: _bSpringer, _c1988 |
||
| 300 | _avii, 191p. | ||
| 650 | _aComputer | ||
| 653 | _aEngineering | ||
| 700 | _aRyan, Peter (Ed.) | ||
| 700 | _aSennett, Chris (Ed.) | ||
| 942 |
_2udc _cBK |
||
| 999 |
_c13225 _d13225 |
||