The specification of complex systems / by B. Cohen, W. T. Harwood and M. I. Jackson
Material type: TextPublication details: Wokingham, England ; Reading, Mass. : Addison-Wesley, 1986cDescription: xii, 143 p. ; 25 cmISBN: 020114400x (hbk)Subject(s): System designDDC classification: 003Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Books | Namal Library Computer Science | 003 COH-S 1986 1594 (Browse shelf (Opens below)) | Available | 1594 |
Index included
Chapter 1: The Role of Specification int the Product Life-Cycle------
Chapter 2: Models and Formal Systems------
Chapter 3: The Case Study: An Electronic Office------
Chapter 4: Algebraic Specification------
Chapter 5: Model-Based Specification------
Chapter 6: Specification of Concurrent systems------
Chapter 7: Formal Methods in the Development Environment------
Chapter 8: Future Directions------
There are no comments on this title.