Software Specification Methods -
-20% with code BOOKS
Shipping in 31-37 days
30-day return policy
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.
Description
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.
More Information
| Publisher | Wiley |
|---|---|
| Release year | 2006 |
| Cover type | Hardcover |
| EAN | 9781905209347 |