Protocol Specification, Testing and Verification, IV

Yemini, Yechiam; Strom, Robert; Yemini, Shaula

ISBN 10: 0444876766 / ISBN 13: 9780444876768

Editore: North-Holland, 1984

Riguardo questo articolo

Ex-Library hardcover in good condition with the usual markings, attachments and library wear. Except for library markings, interior clean and unmarked. Tight binding. Codice articolo UTL51441

Dati bibliografici

Titolo: Protocol Specification, Testing and ...

Casa editrice: North-Holland

Data di pubblicazione: 1984

Legatura: Hardcover

Condizione: Good

Descrizione articolo

Riassunto:

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.