Formal Description Techniques VIII

Gregor Von Bochmann, Rachida Dssouli, Omar Rafiq (Herausgeber)

Buch | Softcover

452 Seiten

1997 | Softcover reprint of the original 1st ed. 1996
Springer-Verlag New York Inc.
978-1-5041-2958-9 (ISBN)

Infos

This volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. The book presents the selected proceedings of the eighth International Conference on Formal Description Techniques, arranged by the International Federation for Information Processing and held in Montreal, Canada, October 1995.

Inhalt

Preface. Invited presentation. Design methodologies. Verification I. Algebraic languages. System specification and Z. Invited presentation. Industrial experiences. Applying formal methods. Tools and testing. Real-time and stochastic systems. Verification II. List of tools for demonstrations. Keyword index.

Produkt-Details

• Erscheinungsdatum: 12.01.2019
• Reihe/Serie: IFIP Advances in Information and Communication Technology
• Zusatzinfo: XIV, 452 p.
• Verlagsort: New York
• Sprache: englisch
• Maße: 155 x 235 mm
• Themenwelt: Mathematik / Informatik ► Informatik ► Netzwerke
• Themenwelt: Technik
• ISBN-10: 1-5041-2958-X / 150412958X
• ISBN-13: 978-1-5041-2958-9 / 9781504129589
• Zustand: Neuware