TY  - BOOK
AU  - Habrias Henri 
TI  -  Software Specification Methods
SN  - 9781905209347
U1  - 004.0151 
PY  - 2007///
CY  - Usa
PB  - Iste
KW  -  computers computer software specifications electronic books
N1  - index
N2  - This 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

ER  -