| 000 | 00493cam a22001574a 4500 | ||
|---|---|---|---|
| 999 |
_c212 _d212 |
||
| 020 | _a9781905209347 (Hb) | ||
| 020 | _a1905209347 | ||
| 020 | _a9781905209347 | ||
| 082 | 0 | 0 |
_a004.0151 _bSOF |
| 100 |
_aHabrias, Henri (editor) _aMarc Frappier (editor) |
||
| 245 | 0 | 0 | _aSoftware specification methods |
| 260 |
_aIndia _bISTE _c2007 |
||
| 300 |
_axxv, 418 p. _b: ill. _c; 25 cm. |
||
| 650 | 0 |
_aComputer science _aFormal methods _aComputer software _vUML _vVDHL _vE-Lotos _vSDL _vPetri nets _vFC |
|
| 942 | _cBK | ||