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

 
9780444876768: 1984 (4th) (Protocol Specification, Testing and Verification: International Workshop Proceedings)
Hardcover
ISBN 10: 0444876766 ISBN 13: 9780444876768
Verlag: Elsevier Science Ltd, 1985

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Elsevier Science Ltd
Erscheinungsdatum
1985
Sprache
Englisch
ISBN 10 
0444876766
ISBN 13 
9780444876768
Einband
Tapa dura
Anzahl der Seiten
720
Herausgeber
Yemini Y., Etc., Strom R., Yemini S.
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar