Protocol Specification, Testing, and Verification, X: Proceedings (I F I P W G 61 INTERNATIONAL WORKSHOP ON PROTOCOL SPECIFICATION, TESTING, AND ... SPECIFICATION, TESTING, AND VERIFICATION) - Hardcover

Logrippo, Luigi; Probert, Robert L.

 
9780444888105: Protocol Specification, Testing, and Verification, X: Proceedings (I F I P W G 61 INTERNATIONAL WORKSHOP ON PROTOCOL SPECIFICATION, TESTING, AND ... SPECIFICATION, TESTING, AND VERIFICATION)
Hardcover
ISBN 10: 0444888101 ISBN 13: 9780444888105
Verlag: Elsevier Science Ltd, 1990

Inhaltsangabe

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''.

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

Verlag
Elsevier Science Ltd
Erscheinungsdatum
1990
Sprache
Englisch
ISBN 10 
0444888101
ISBN 13 
9780444888105
Einband
Gebundene Ausgabe
Anzahl der Seiten
428
Herausgeber
Ural Hasan
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar