| 000 | 01199nam a2200325 a 4500 | ||
|---|---|---|---|
| 001 | 37222 | ||
| 003 | CONS | ||
| 005 | 20230315172827.0 | ||
| 008 | 950505s1994 si 001 0 eng d | ||
| 906 |
_a7 _bcbc _ccopycat _d3 _encip _f19 _gy-gencatlg |
||
| 010 | _a95160957 | ||
| 020 | _a9810219229 | ||
| 040 |
_aCU-S _cCU-S _dDLC |
||
| 042 | _alccopycat | ||
| 050 | 0 | 0 |
_aQA76.76.D47 _bA76 1994 |
| 100 | 1 |
_aArnold, A. _q(André), _d1945- |
|
| 245 | 1 | 0 |
_aConstruction and analysis of transition systems with MEC / _cAndré Arnold, Didier Bégay, Paul Crubillé. |
| 260 |
_aSingapore ; _aRiver Edge, NJ : _bWorld Scientific, _cc1994. |
||
| 300 |
_avii, 192 p. : _bill. ; _c23 cm. |
||
| 440 | 0 |
_aAMAST series in computing ; _vvol. 3 |
|
| 504 | _aIncludes bibliographical references (p. 187-189) and index. | ||
| 650 | 0 |
_aComputer software _xDevelopment. |
|
| 650 | 0 | _aSoftware engineering. | |
| 700 | 1 | _aBégay, Didier. | |
| 700 | 1 | _aCrubillé, Paul. | |
| 922 | _acf | ||
| 991 |
_bc-GenColl _hQA76.76.D47 _iA76 1994 _p0003488111A _tCopy 1 _wBOOKS |
||
| 942 |
_2udc _cBK |
||
| 999 |
_c36874 _d36874 |
||