Search the Library Catalogue
Software Specification Methods Henri Habrias,Marc Frappier
Language: English Publication details: Usa Iste 2007Description: xxv; 418 p. 25 cmISBN:- 9781905209347
- 004.0151 HAB
| Item type | Current library | Call number | Status | Barcode | |
|---|---|---|---|---|---|
Reference
|
Anna Centenary Library 3RD FLOOR, A WING | 004.0151 HAB (Browse shelf(Opens below)) | Not for loan | 333071 |
Browsing Anna Centenary Library shelves, Shelving location: 3RD FLOOR, A WING Close shelf browser (Hides shelf browser)
| 004.0151 DAV MATLAB primer | 004.0151 DIE Foundations of computation | 004.0151 GAR Simulations Of Machines Using Matlab And Simulink | 004.0151 HAB Software Specification Methods | 004.0151 HEA Scientific Computing : an introductory survey | 004.0151 LIP Schaum's Outline Of Discrete Mathematics | 004.0151 PAU Fundamentals of computation theory |
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
There are no comments on this title.
Log in to your account to post a comment.