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

Published by Elsevier Science Ltd, 1989

About this Item

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.

Seller Inventory # 181023

Bibliographic Details

• Title: 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)
• Publisher: Elsevier Science Ltd
• Publication Date: 1989
• Language: English
• ISBN 10: 0444883436
• ISBN 13: 9780444883438
• Binding: Gebundene Ausgabe
• Condition: Gut

About this title

Synopsis

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.