000 | 00936nam a2200229 u 4500 | ||
---|---|---|---|
001 | 000293320 | ||
005 | 20170505135213.0 | ||
008 | 031212s2002 ||||||||||||||000|0|eng|d | ||
020 | _a1402015674 | ||
040 | _aAM-YeHGA | ||
041 | 0 | _aeng | |
245 | 0 | 0 |
_aFormal descriptions of developing systems / _cEditors: Nation, James ... et al. |
260 |
_aDordrecht ; _aBoston ; _aLondon : _bKluwer Acad. Publ., _c2002. |
||
300 |
_axiv, 306 p. _bill. |
||
440 | 0 |
_aNATO Science Series _nII: _pMathematics, Physics and Chemistry _vVol. 121 |
|
504 | _aIncludes bibliogr. references and index | ||
650 | 0 |
_aScience _xMethodology _zCongresses |
|
650 | 0 |
_aScience _xForecasting _zCongresses |
|
700 | 1 |
_aNation, James Bryant _d1948- |
|
710 | 2 |
_aNorth Atlantic Treaty Organization _bScientific Affairs Division |
|
711 | 2 |
_aNATO Advanced Research Workshop on Formal Descriptions of Developing Systems _d(2-6 Oct., 2002 : _cManoa, Hawaii, USA) |
|
999 |
_c243017 _d243017 |