Design and validation of computer protocols /
Design and validation of computer protocols / By Gerard j. Holzmann. - London : Prentic-Hall International Edition. 1991c. - xii, 500. : ill ; 24cm.
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-----------------------------
0135398347 (pbk)
004.62 / HOL-D 1991 2227