Protocol Specification, Testing, and Verification, IX: International Workshop Proceedings: 1989 9th (I F I P W G 61 International Workshop on Protocol . Specification, Testing, and Verification)

Brinksma, Ed; Scollo, Giuseppe

ISBN 10: 0444883436 / ISBN 13: 9780444883438

Verlag: Elsevier Science Ltd, 1989

Beschreibung

402 Seiten Sofort verfügbar / Versand am folgenden Arbeitstag / Rechnung mit ausgewiesener MwSt. liegt bei / daily shipping worldwide with invoice / ex library / aus Bibliothek / Sprache: Englisch Gewicht in Gramm: 550.

Bestandsnummer des Verkäufers 181023

Bibliografische Details

• Titel: Protocol Specification, Testing, and Verification, IX: International Workshop Proceedings: 1989 9th (I F I P W G 61 International Workshop on Protocol . Specification, Testing, and Verification)
• Verlag: Elsevier Science Ltd
• Erscheinungsjahr: 1989
• Sprache: Englisch
• ISBN-10: 0444883436
• ISBN-13: 9780444883438
• Einband: Gebundene Ausgabe
• Zustand: Gut

Über diesen Titel

Inhaltsangabe

Researchers and practitioners concerned with the application of formal methods to the design, description, analysis, implementation and testing of open systems contributed to this book. It is the ninth in a successful series of annual volumes.