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