| 000 | 00805nam a22001937a 4500 | ||
|---|---|---|---|
| 005 | 20250626102315.0 | ||
| 008 | 250626b |||||||| |||| 00| 0 eng d | ||
| 020 |
_a9781905209347 _qhbk |
||
| 041 | _aeng | ||
| 082 |
_a004.0151 _bHAB |
||
| 100 | _aHabrias Henri | ||
| 245 |
_a Software Specification Methods _cHenri Habrias,Marc Frappier |
||
| 260 |
_aUsa _bIste _c2007 |
||
| 300 |
_axxv; 418 p. _c25 cm. |
||
| 504 | _aindex | ||
| 520 | _aThis title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. The following are just some of the techniques covered: UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL and LOTOS | ||
| 650 | _a computers computer software specifications electronic books | ||
| 942 | _cREF | ||
| 999 |
_c573967 _d573967 |
||