Verwandte Artikel zu 1988 (8th) (Protocol Specification, Testing and Verification...
1988 (8th) (Protocol Specification, Testing and Verification: International Workshop Proceedings) - Hardcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagElsevier Science Ltd
- Erscheinungsdatum1988
- ISBN 10 0444705422
- ISBN 13 9780444705426
- EinbandTapa dura
- SpracheEnglisch
- Anzahl der Seiten434
- HerausgeberAggarwal Sudhir, Sabnani Krishan
- Kontakt zum HerstellerNicht verfügbar
Gebraucht kaufen
Zustand: BefriedigendBefriedigend/Good: Durchschnittlich...
Diesen Artikel anzeigen
EUR 3,70
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerSuchergebnisse für 1988 (8th) (Protocol Specification, Testing and Verification...
Beispielbild für diese ISBN
Protocol Specification, Testing and Verification VIII: International Workshop Proceedings (I F I P W G 61 International Workshop on Protocol . Specification, Testing, and Verification)
Anbieter: medimops, Berlin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Artikel-Nr. M00444705422-G
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
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)
Verlag:
North-Holland Publishing Co, 1988
ISBN 10: 0444705422
ISBN 13: 9780444705426
Gebraucht
Hardcover
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Gebundene Ausgabe. Zustand: Gut. Sofort verfügbar / Versand am folgenden Arbeitstag / mit Rechnung / daily shipping wordwide with invoice / ex library / Sprache: Deutsch Gewicht in Gramm: 550. Artikel-Nr. 96309
Anzahl: 1 verfügbar