Protocol Specification, Testing, and Verification, X: Proceedings - Couverture rigide

 
9780444888105: Protocol Specification, Testing, and Verification, X: Proceedings
Couverture rigide
ISBN 10 : 0444888101 ISBN 13 : 9780444888105
Editeur : Elsevier Science Ltd, 1990

Synopsis

The contributions to this book are from researchers and practitioners concerned with the theory and application of formal methods to the specification, testing and verification of protocols for open systems. Being the tenth in a successful series of symposia, a special feature of the book is a number of invited papers on the same theme, ``The First Ten Years, The Next Ten Years''.

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

Éditeur
Elsevier Science Ltd
Date d'édition
1990
Langue
anglais
ISBN 10 
0444888101
ISBN 13 
9780444888105
Reliure
Relié
Nombre de pages
428
Éditeur
Logrippo L., Etc., Probert R.L., Ural H.
Coordonnées du fabricant
non disponible
Personne responsable
non disponible