Artículos relacionados a 1988 (8th) (Protocol Specification, Testing and Verification...
1988 (8th) (Protocol Specification, Testing and Verification: International Workshop Proceedings) - Tapa dura
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialElsevier Science Ltd
- Año de publicación1988
- ISBN 10 0444705422
- ISBN 13 9780444705426
- EncuadernaciónTapa dura
- IdiomaInglés
- Número de páginas434
- EditorAggarwal Sudhir, Sabnani Krishan
- Contacto del fabricanteno disponible
Resultados de la búsqueda para 1988 (8th) (Protocol Specification, Testing and Verification...
Imagen de archivo
Protocol Specification, Testing and Verification VIII: International Workshop Proceedings (I F I P W G 61 International Workshop on Protocol . Specification, Testing, and Verification)
Publicado por
North-Holland, 1988
ISBN 10: 0444705422
ISBN 13: 9780444705426
Antiguo o usado
Tapa dura
Librería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: 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 ref. del artículo: M00444705422-G
Cantidad disponible: 1 disponibles
Imagen de archivo
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)
Publicado por
North-Holland Publishing Co, 1988
ISBN 10: 0444705422
ISBN 13: 9780444705426
Antiguo o usado
Tapa dura
Librería: NEPO UG, Rüsselsheim am Main, Alemania
Calificación del vendedor: 5 de 5 estrellas
Gebundene Ausgabe. Condición: 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 ref. del artículo: 96309
Cantidad disponible: 1 disponibles