Design and validation of computer protocols

Design and validation of computer protocols

Saved in:

Bibliographic Details
Main Author:	Holzmann, Gerard J
Corporate Author:	American Telephone and Telegraph Company
Format:	Unknown
Published:	Englewood Cliffs, N.J. Prentice Hall 1991
Series:	Prentice Hall software series
Subjects:	Computer network protocols > Design
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Elements of network protocol design
by: Gouda, Mohamed G. 1947-
Published: (1998)

Protocol analysis WB77.0
Published: (2001)

DATA LINK PROTOCOLS
by: Black, Uyless D
Published: (1993)

Network protocol handbook
by: Naugle, Matthew G
Published: (1994)

TCP/IP and related protocol
by: Black, Uyless D
Published: (1995)

TCP/IP and related protocol
by: Black, Uyless
Published: (1998)

TCP/IP and related protocols
by: Black, Uyless D
Published: (1992)

Wireless application protocol programming
by: Hamad Rashid
Published: (2002)

Advanced Internet protocols, services, and applications
by: Oki, Eiji 1969-
Published: (2012)

Menguasai protocol TCP/IP dan networking
by: Abdul Latiff Esa
Published: (2006)

Cisco IOS solutions for network protocols IPX, AppleTalk, and more
Published: (1998)

Cisco IOS 12.0 solutions for network protocols
Published: (1999)

Protocol specification, testing and verification proceedings of the ... held June 1995
Published: (1996)

Telecommunications protocols
by: Russell, Travis
Published: (2000)

Protocol specification, testing and verification proceedings of the ... held 18-20 June 1991
Published: (1991)

Internet core protocols the definitive guide
by: Hall, Eric A.
Published: (2000)

Protocol specification, testing and verification, XIII proceedings of the IFIP TC6/WG6.1 thirteenth International Symposium on Protocol Specification, Testing, and Verification
Published: (1993)

An intra-domain routing protocol
by: Malkin, Gary Scott
Published: (2000)

Protocol specification, testing, and verification proceedings of the IFIP WG 6.1 Second International Workshop on Protocol Specification, Testing, and Verification, organized by USC/ISI, Idyllwild, California, U.S.A., 17-20 May 1982
Published: (1982)

TCP/IP protocol suite
by: Forouzan, Behrouz A
Published: (2000)

TCP/IP protocol suite
by: Forouzan, Behrouz A
Published: (2003)

TCP/IP protocol suite
by: Forouzan, Behrouz A
Published: (2003)

TCP/IP Protocol Suite
by: Forouzan, Behrouz A.
Published: (2006)

TCP/IP protocol suite
by: Forouzan, Behrouz A.
Published: (2010)

Protocols for high-speed networks, III proceedings of the IFIP WG 6.1/WG 6.4 Third International Workshop on Protocols for High-Speed Networks, Stockholm, Sweden, 13-15 May, 1992
Published: (1993)

Telecommunications protocols and design
by: Spragins, John D
Published: (1991)

Protocol test systems, III proceedings of the IFIP TC6 Third International Workshop on Protocol Test Systems
Published: (1991)

COMPUTER NETWORKS Principles, Technologies, and Protocols for Network Design
by: Olifer, Natalia, et al.
Published: (2006)

Total SNMP exploring the simple network management protocol
by: Harnedy, Sean J. 1955-
Published: (1998)

WAP the wireless application protocol writing applications for the mobile internet
Published: (2001)

Protocol test systems, VIII proceedings of the ... held September 1995
Published: (1996)

IPng and the TCP/IP Protocols Implementing the Next Generation Internet
by: Thomas, Stephen A
Published: (1996)

IP ROUTING PROTOCOLS RIP, OSPF, BGP, PNNI, AND CISCO ROUTING PROTOCOLS
by: Black, Uyless
Published: (2000)

A guide to the TCP/IP protocol suite
by: Wilder, Floyd
Published: (1998)

Cisco IP routing protocols troubleshooting techniques
by: Anand, V. Vijay
Published: (2004)

Protocol design for local and metropolitan area networks
by: Gburzynski, Pawe
Published: (1996)

IPng, Internet protocol next generation
Published: (1996)

Computer communications architectures, protocols, and standards
Published: (1992)

INTERNET SECURITY PROTOCOLS protecting IP traffic
by: Black, Uyless
Published: (2000)

High performance networks Technology and protocols
Published: (1994)

Cannot write session to /tmp/vufind_sessions/sess_mpmv89bqpbllvmtngvq8jdasi2