Design and validation of computer protocols /

Design and validation of computer protocols /

16

Bibliographic Details
Main Author:	455693 Holzmann, Gerard J.
Format:
Published:	Englewood Cliffs, NJ : Prentice-Hall, 1991
Subjects:	Computer network protocols

Similar Items

Computer networks : principles, technologies, and protocols for network design /
by: 247875 Olifer, Natalia, et al.
Published: (2006)

Computer networks : protocols, standards, and interfaces /
by: 338343 Black, Uyless D.
Published: (1993)

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

Design and Analysis of Security Protocol for Communication /
by: Goyal, Dinesh, 1976-, editor 636853, et al.
Published: ([202)

Computer communications : architectures, protocols, and standards /
by: Stallings, William
Published: (1985)

Advanced transport protocols : designing the next generation /
by: Exposito, Ernesto
Published: (2013)

Computer communications : architectures, protocols, and standards /
by: 384997 Stallings, William, et al.
Published: (1992)

The spin model checker : primer and reference manual /
by: 455693 Holzmann, Gerard J.
Published: (2004)

Performance analysis of OSPF and EIGRP protocols in a very dynamic network
by: Ahmed Mohammed, Abdul Nasser, et al.
Published: (2009)

Bee-inspired protocol engineering : from nature to networks /
by: 312449 Muddassar Farooq
Published: (2009)

Quantum key distribution protocols in transmission control protocol
by: Kamarul Aizan, Nur Hanani
Published: (2012)

Network monitoring using SNMP (Simple Network Management Protocol) /
by: 438951 Tang, Wiey Khiang
Published: (1999)

Location-Based Approach for Route Maintenance in Dynamic Source Routing Protocol
by: Sjaugi, Muhammad Farhan
Published: (2008)

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

Computer network time synchronization : the Network Time Protocol on Earth and in space /
by: Mills, David L.
Published: (2011)

Network protocols /
by: 256983 Naugle, Matthew G.
Published: (1999)

Design and Analysis of In-Network Computation Protocols With Compressive Sensing in Wireless Sensor Networks
by: Haifeng Zheng, et al.
Published: (2017-01-01)

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

Detection & prevention of active sniffing on routing protocol /
by: 436631 Pathmenanthan Ramakrishna, et al.
Published: (2002)

Simulation of LAPD protocol /
by: 292957 Norasimah Khadri, et al.
Published: (1992)

Data link protocols/
by: 338343 Black, Uyless D.
Published: (1993)

Communication protocol engineering /
by: Popovic, Miroslav, 1961-
Published: (2006)

Communication protocol engineering /
by: 233430 Venkataram, Pallapa, et al.
Published: (2008)

Routing protocols and concepts : CCNA exploration companion guide /
by: 372930 Graziani, Rick, et al.
Published: (2008)

Introducing data communications protocols /
by: 243630 Hardy, Peter
Published: (1985)

Network interconnection and protocol conversion /
by: Green, Paul E.
Published: (1988)

Formal correctness of security protocols /
by: 275596 Bella, Giampaolo
Published: (2007)

Protocols for high-speed networks, II : proceedings /
by: 467760 IFIP WG 6.1 / WG 6.4 International Workshop on Protocols for High-Speed Networks (2nd :1990 :Palo Alto, Calif.), et al.
Published: (1991)

Network management software using simple network management protocol /
by: 249559 Pannirselvam S Minniappan
Published: (1996)

ANALYSIS OF ROUTING PROTOCOLS EFFECTIVENESS IN COMPUTER NETWORKS
by: Tatiana V. Avetisyan, et al.
Published: (2023-09-01)

The complete IS-IS routing protocol /
by: 284468 Gredler, Hannes, et al.
Published: (2005)

Multimedia file transfer and retrieval by using TCP/IP protocol /
by: 270934 Wong, Ong Hua
Published: (1998)

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

Protocol specification, testing and verification V/
by: IFIP WG 6.1 International Workshop on Protocol Specification, Testing and Verification (5th : 1985 : Toulouse, France and Moissac), et al.

Protocol specification, testing, and verification IV /
by: IFIP WG 6.1 International Workshop Protocol Specification, Testing and Verification (4th : 1984 : Skytop Lodge, Pa.), et al.
Published: (1985)

Routing protocols and concepts [electronic resource] : CCNA exploration companion guide /
by: 372930 Graziani, Rick, et al.
Published: (2008)

High performance networks : technology and protocols /
by: Tantawy, Ahmed N.
Published: (1994)

Implementation of dynamic host configuration protocol /
by: 444779 Ng, Wai Mun
Published: (2002)

Implementation of management information base software for simple network management protocol /
by: 247655 Abdurrzzag Giuma Tamtam
Published: (1997)

Prediction of optimum performance in self - organizing networks with dynamic source routing protocol /
by: Muhammad Hisyam Lee Abdullah, et al.
Published: (2006)