Protocol Specification, Testing and Verification XV
(Sprache: Englisch)
This volume presents the latest research worldwide on communications protocols, emphasizing specification and compliance testing. It presents the complete proceedings of the fifteenth meeting on `Protocol Specification, Testing and Verification' arranged by...
Leider schon ausverkauft
versandkostenfrei
Buch
266.43 €
133 DeutschlandCard Punkte
sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Protocol Specification, Testing and Verification XV “
Klappentext zu „Protocol Specification, Testing and Verification XV “
This volume presents the latest research worldwide on communications protocols, emphasizing specification and compliance testing. It presents the complete proceedings of the fifteenth meeting on `Protocol Specification, Testing and Verification' arranged by the International Federation for Information Processing.
Inhaltsverzeichnis zu „Protocol Specification, Testing and Verification XV “
Preface. Committee members and invited speakers. List of referees. Specification and verification: time-dependent analysis. Invited paper. Specification of concurrent systems. Testing. Specification and verification: temporal approach. Validation and testing. Specification and analysis. Verification: model checking. Invited paper. High speed/multimedia. Towards implementation. Index of contributors. Keyword index.
Bibliographische Angaben
- 1995, 472 Seiten, Maße: 16 x 24,1 cm, Gebunden, Englisch
- Herausgegeben: Marek Sredniawa, Piotr Dembinski
- Verlag: Springer US
- ISBN-10: 0412716208
- ISBN-13: 9780412716201
- Erscheinungsdatum: 30.11.1995
Sprache:
Englisch
Kommentar zu "Protocol Specification, Testing and Verification XV"
0 Gebrauchte Artikel zu „Protocol Specification, Testing and Verification XV“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Protocol Specification, Testing and Verification XV".
Kommentar verfassen