The specification of complex systems / by B. Cohen, W. T. Harwood and M. I. Jackson

By: Cohen, BContributor(s): Harwood, W. T | Jackson, M. IMaterial type: TextTextPublication details: Wokingham, England ; Reading, Mass. : Addison-Wesley, 1986cDescription: xii, 143 p. ; 25 cmISBN: 020114400x (hbk)Subject(s): System designDDC classification: 003
Contents:
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------
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode Item holds
Books Books Namal Library
Computer Science 		003 COH-S 1986 1594 (Browse shelf (Opens below)) Available 1594
Total holds: 0
Browsing Namal Library shelves, Shelving location: Computer Science Close shelf browser (Hides shelf browser)
003.83 HIR-S 2014 11654 System simulation / 003.83 HIR-S 2014 11655 System simulation / 003 CHEN-L 1984 1975 Linear system theory and design / 003 COH-S 1986 1594 The specification of complex systems / 003 COX-O 1986 442 Object oriented programming : 003 FLA-C 2001 5384 The computational beauty of nature : 003 GLE-C 1987 6586 Chaos :

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.

to post a comment.