Formal Description Techniques VII

D. Hogrefe, S. Leue (Herausgeber)

Buch | Softcover

522 Seiten

1996 | Softcover reprint of the original 1st ed. 1995
Springer-Verlag New York Inc.
978-1-5041-2881-0 (ISBN)

Infos

This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.

Inhalt

Preface. Invited talk. New techniques. Applications. FDTs go commercial. Verification. Verification and real-time. Semantics. Testing and performace. Refinement. Index of contributors. Keyword index.

Produkt-Details

• Erscheinungsdatum: 11.01.2019
• Reihe/Serie: IFIP Advances in Information and Communication Technology
• Zusatzinfo: XIV, 522 p.
• Verlagsort: New York
• Sprache: englisch
• Maße: 155 x 235 mm
• Themenwelt: Mathematik / Informatik ► Informatik ► Netzwerke
• Themenwelt: Technik
• ISBN-10: 1-5041-2881-8 / 1504128818
• ISBN-13: 978-1-5041-2881-0 / 9781504128810
• Zustand: Neuware