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 |
Browsing Namal Library shelves, Shelving location: Computer Science Close shelf browser (Hides shelf browser)
004.62 BLA-T 1995 10074 TCP/IP and related protocols / | 004.62 FOR-T 2000 10073 TCP/IP protocol suite / | 004.62 GAU-E 2009 3640 Elements of network protocol design/ | 004.62 HOL-D 1991 2227 Design and validation of computer protocols / | 004.62 MIN-B 2016 9870 Building the internet of things with IPv6 and MIPv6 : | 004.6/2 ODO-C 2010 2912 CCNP Route 642-902 official certification guide / | 004.62 SAN-C 2018 10263 CCNA security 210-260: |
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.