Design and validation of computer protocols / By Gerard j. Holzmann.
Material type: TextPublication details: London : Prentic-Hall International Edition. 1991cDescription: xii, 500. : ill ; 24cmISBN: 0135398347 (pbk)DDC classification: 004.62Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Books | Namal Library Computer Science | 004.62 HOL-D 1991 2227 (Browse shelf (Opens below)) | Available | 0002227 |
index Included
PART 1: Basics------------------------------------
PART 2: Specification and Modeling------------------------------
PART 3: Conformance Testing, synthesis and Validation-----------------------
PART 4: Design Tools----------------------------
Conclusion------------------------------
References-----------------------------
Appendices-----------------------------
Name Index-----------------------------
Subject Index-----------------------------
There are no comments on this title.