Design and validation of computer protocols

Gerard J. Holzmann
Bok · Engelsk · 1991

Utgitt	Englewood Cliffs, N.J. : Prentice Hall , c1991
Omfang	xii, 500 s. : ill.
Emner	Computer network protocols - Design Kommunikasjonsprotokoller Protokollkonstruksjon Protokollverifikasjon
ISBN	0135398347. - 0135399254