Communication protocol specification and verification /

Protocol specification, testing, and verification, VI : proceedings of the IFIP WG 6.1 Sixth International Workshop on Protocol Specification, Testing, and Verification /
Published: (1987)

LOTOSphere : software development with LOTOS /
Published: (1995)

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)

Protocol specification, testing, and verification, III : proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing, and Verification, Ruschlikon, Switzerland, 31 May-2 June, 1983 /
Published: (1983)

Protocol specification, testing and verification XIV /
Published: (1995)

Big book of lightweight directory access protocol (LDAP) RFCs /
Published: (2000)

Protocol specification, testing, and verification, IX : proceedings of the IFIP WG 6.1 Ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, the Netherlands, 6-9 June, 1989 /
Published: (1990)

Communication Protocol Specification and Verification /
by: Lai, Richard
Published: (1998)

SIP : understanding the Session Initiation Protocol /
by: Johnston, Alan B.
Published: (2009)

LDAP : programming directory-enabled applications with lightweight directory access protocol /
by: Howes, Tim
Published: (1997)

APIs and protocols for convergent network services /
by: Mueller, Stephen M.
Published: (2002)

Verification of communication protocols in web services : model-checking service compositions /
by: Tari, Zahir
Published: (2014)

Protocol specification, testing, and verification, V : proceedings of the IFIP WG 6.1 fifth International Workshop on Protocol Specification, Testing, and Verification organized by the LAAS du CNRS, Toulouse-Moissac, France, June 10-13, 1985 /
Published: (1986)

Communication network protocols /
by: Marsden, Brian W.
Published: (1985)

The Internet and its protocols : a comparative approach /
by: Farrel, Adrian
Published: (2004)

Understanding SNMP MIBs /
by: Perkins, David
Published: (1997)

Web protocols and practice : HTTP/1.1, networking protocols, caching, and traffic measurement /
by: Krishnamurthy, Balachander, 1961-
Published: (2001)

Compiler specification and verification /
by: Polak, Wolfgang, 1950-
Published: (1981)

Design and validation of computer protocols /
by: Holzmann, Gerard J.
Published: (1991)

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

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

Protocols for high speed networks IV /
Published: (1995)

Multihomed communication with SCTP (Stream Control Transmission Protocol) /
Published: (2013)

Official guide to programming with CGI.pm : [the standard for building Web scripts] /
by: Stein, Lincoln D., 1960-
Published: (1998)

Concurrency theory : calculi and automata for modelling untimed and timed concurrent systems /
by: Bowman, Howard, 1966-
Published: (2006)

C programmerʼs guide to NetBIOS /
by: Schwaderer, W. David, 1947-
Published: (1988)

Design and analysis of security protocol for communication /
Published: (2020)

Programming applications with the wireless application protocol : the complete developer's guide /
by: Mann, Steve, 1950-
Published: (2000)

60 minute guide to CGI programming with Perl 5 /
by: Farrell, Robert (Robert F.)
Published: (1996)

Developing CGI applications with Perl /
by: Deep, John, 1957-
Published: (1996)

Teach yourself CGI programming with Perl in a week /
by: Herrmann, Eric
Published: (1996)

Introduction to CGI/Perl /
by: Brenner, Steven E.
Published: (1996)

Professional XMPP programming with JavaScript and jQuery /
by: Moffitt, John C., 1901-1969
Published: (2010)

CGI programming in C & Perl /
by: Boutell, Thomas
Published: (1996)

CGI programming on the World Wide Web /
by: Gundavaram, Shishir
Published: (1996)

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