| 000 | 01214cam a22003497a 4500 | ||
|---|---|---|---|
| 001 | 17361141 | ||
| 003 | OSt | ||
| 005 | 20250605131907.0 | ||
| 008 | 120625s2012 si a b 000 0 eng d | ||
| 010 | _a 2011278909 | ||
| 016 | 7 |
_a015956597 _2Uk |
|
| 020 | _a9789814324281 | ||
| 020 | _a9814324280 | ||
| 035 | _a(OCoLC)ocn644646628 | ||
| 040 |
_aBTCTA _beng _cBTCTA _dUKMGB _dCDX _dSINLB _dYDXCP _dBWX _dCFI _dOCLCF _dDLC |
||
| 042 | _alccopycat | ||
| 050 | 0 | 0 |
_aQA76.9.S88 _bP769 2012 |
| 082 | 0 | 4 |
_a005.30 _223 _bHUA-P |
| 245 | 0 | 0 |
_aProperty-preserving petri net process algebra : _bin software engineering / _cHejiao Huang ... [et al.]. |
| 260 |
_aSingapore ; _aHackensack, N.J. : _bWorld Scientific, _cc2012. |
||
| 300 |
_axii, 306 p. : _bill. ; _c24 cm. |
||
| 504 | _aIncludes bibliographical references (p. 295-306). | ||
| 650 | 0 | _aSystem design. | |
| 650 | 0 | _aPetri nets. | |
| 650 | 7 |
_aPetri nets. _2fast |
|
| 650 | 7 |
_aSystem design. _2fast |
|
| 700 | 1 | _aHuang, Hejiao. | |
| 906 |
_a7 _bcbc _ccopycat _d2 _encip _f20 _gy-gencatlg |
||
| 942 |
_2ddc _cBK |
||
| 999 |
_c29984 _d29984 |
||