von Bochmann / Dssouli / Rafiq | Formal Description Techniques VIII | E-Book | sack.de
E-Book

E-Book, Englisch, 452 Seiten, eBook

Reihe: IFIP International Federation for Information Processing

von Bochmann / Dssouli / Rafiq Formal Description Techniques VIII


1. Auflage 1996
ISBN: 978-0-387-34945-9
Verlag: Springer US
Format: PDF
 Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 452 Seiten, eBook

Reihe: IFIP International Federation for Information Processing

ISBN: 978-0-387-34945-9
Verlag: Springer US
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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.

von Bochmann / Dssouli / Rafiq Formal Description Techniques VIII jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

von Bochmann, Gregor
Dssouli, Rachida
Rafiq, Omar

Weitere Infos & Material

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.