Search the Library Catalogue
Software Specification Methods
Habrias Henri
Software Specification Methods Henri Habrias,Marc Frappier - Usa Iste 2007 - xxv; 418 p. 25 cm.
Includes index
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
9781905209347
computers computer software specifications electronic books
004.0151 / HAB
Software Specification Methods Henri Habrias,Marc Frappier - Usa Iste 2007 - xxv; 418 p. 25 cm.
Includes index
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
9781905209347
computers computer software specifications electronic books
004.0151 / HAB