1984 (4th) (Protocol Specification, Testing and Verification: International Workshop Proceedings) - Tapa dura

 
9780444876768: 1984 (4th) (Protocol Specification, Testing and Verification: International Workshop Proceedings)

Sinopsis

This book covers research in protocol theory and analysis, specification and formal models of protocols, protocol validation and verification, performance analysis of protocols, and protocol design implementation and testing. Main Features: 1. Broad coverage of the research in the area of computer communication protocols. 2. A combination of theoretical and experimental research on protocol modelling, design, analysis, synthesis, verification and testing. 3. A description of international research activities conducted by leading researchers in the field from over 13 countries.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

This book covers research in protocol theory and analysis, specification and formal models of protocols, protocol validation and verification, performance analysis of protocols, and protocol design implementation and testing. Main Features: 1. Broad coverage of the research in the area of computer communication protocols. 2. A combination of theoretical and experimental research on protocol modelling, design, analysis, synthesis, verification and testing. 3. A description of international research activities conducted by leading researchers in the field from over 13 countries.

"Sobre este título" puede pertenecer a otra edición de este libro.