Verkauf durch Sack Fachmedien

Sredniawa / Dembinski

Protocol Specification, Testing and Verification XV

Medium: Buch
ISBN: 978-0-412-71620-1
Verlag: Springer US
Erscheinungstermin: 30.11.1995
Lieferfrist: bis zu 10 Tage

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.


Produkteigenschaften


  • Artikelnummer: 9780412716201
  • Medium: Buch
  • ISBN: 978-0-412-71620-1
  • Verlag: Springer US
  • Erscheinungstermin: 30.11.1995
  • Sprache(n): Englisch
  • Auflage: 1995
  • Serie: IFIP Advances in Information and Communication Technology
  • Produktform: Gebunden
  • Gewicht: 1840 g
  • Seiten: 455
  • Format (B x H x T): 160 x 241 x 30 mm
  • Ausgabetyp: Kein, Unbekannt
Autoren/Hrsg.

Herausgeber

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.