| 000 | 00953pam a2200229a 44500 | ||
|---|---|---|---|
| 008 | 150502b2006 xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9781905209347 | ||
| 040 |
_cBITS Pilani Hyderabad _aBITS Pilani Hyderabad |
||
| 041 | _aENG | ||
| 082 | _a004.0151 HAB-H | ||
| 100 | _aedited by Habrias, Henri | ||
| 245 |
_aSoftware specification methods / _cedited by Henri Habrias and Marc Frappier |
||
| 260 |
_aUnited Kingdom _bISTE _c2006 |
||
| 300 | _a418 p. | ||
| 365 |
_aINR _b1295.00. |
||
| 500 | _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 | _aComputer software --Specifications. | ||
| 650 | _aFormal methods (Computer science) οΎ | ||
| 700 | _aFrappier, Marc. | ||
| 907 | _a004.0151 HAB-H | ||
| 942 | _2ddc | ||
| 999 |
_c13736 _d13736 |
||