Articles liés à Protocol Specification, Testing and Verification VIII
Synopsis
The results collected in this volume are from researchers and practitioners concerned with the theory and application of formal techniques to protocols. The main subject areas covered by the papers are: - formal models for computer communication systems - formal languages for the specification and verification of protocols - testing approaches and techniques for computer communication systems - verification and validation of communication protocols - automated implementation techniques for protocols - software environments for the development and analysis of protocols.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurElsevier Science Ltd
- Date d'édition1988
- ISBN 10 0444705422
- ISBN 13 9780444705426
- ReliureRelié
- Langueanglais
- Nombre de pages434
- ÉditeurAggarwal Sudhir, Sabnani Krishan
- Coordonnées du fabricantnon disponible
Résultats de recherche pour Protocol Specification, Testing and Verification VIII
Image d'archives
Protocol Specification, Testing and Verification VIII: International Workshop Proceedings (I F I P W G 61 International Workshop on Protocol . Specification, Testing, and Verification)
Edité par
North-Holland, 1988
ISBN 10 : 0444705422
ISBN 13 : 9780444705426
Ancien ou d'occasion
Couverture rigide
Vendeur : medimops, Berlin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. N° de réf. du vendeur M00444705422-G
Quantité disponible : 1 disponible(s)
Image d'archives
Protocol Specification, Testing and Verification VIII: International Workshop Proceedings: 1988 8th (I F I P W G 61 International Workshop on Protocol . Specification, Testing, and Verification)
Edité par
North-Holland Publishing Co, 1988
ISBN 10 : 0444705422
ISBN 13 : 9780444705426
Ancien ou d'occasion
Couverture rigide
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Gebundene Ausgabe. Etat : Gut. Sofort verfügbar / Versand am folgenden Arbeitstag / mit Rechnung / daily shipping wordwide with invoice / ex library / Sprache: Deutsch Gewicht in Gramm: 550. N° de réf. du vendeur 96309
Quantité disponible : 1 disponible(s)