Protocol Specification, Testing, and Verification, IX - Couverture rigide

 
9780444883438: Protocol Specification, Testing, and Verification, IX

Synopsis

Researchers and practitioners concerned with the application of formal methods to the design, description, analysis, implementation and testing of open systems contributed to this book. It is the ninth in a successful series of annual volumes.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.