TY  - BOOK
AU  - Habrias, Henri (editor)
TI  - Software specification methods
SN  - 9781905209347 (Hb)
U1  - 004.0151 
PY  - 2007///
CY  - India
PB  - ISTE
KW  - Computer science
KW  - Formal methods
KW  - Computer software
KW  - UML
KW  - VDHL
KW  - E-Lotos
KW  - SDL
KW  - Petri nets
KW  - FC
ER  -