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

Editore: Elsevier Science Ltd, 1989

Riguardo questo articolo

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.

Codice articolo 181023

Dati bibliografici

• Titolo: 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)
• Editore: Elsevier Science Ltd
• Data di pubblicazione: 1989
• Lingua: Inglese
• ISBN 10: 0444883436
• ISBN 13: 9780444883438
• Rilegatura: Gebundene Ausgabe
• Condizione: Gut
• Peso: 550 grammi
• Cataloghi dei venditori:
  • Alle Bücher

Descrizione articolo

Riassunto

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.