TY  - BOOK
AU  - edited by Habrias, Henri
AU  - Frappier, Marc.
TI  - Software specification methods
SN  - 9781905209347
U1  - 004.0151 HAB-H 
PY  - 2006///
CY  - United Kingdom
PB  - ISTE
KW  - Computer software --Specifications
KW  - Formal methods (Computer science) ﾠ
N1  - 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  -