Bredereke / Gotzhein | Formal Description Techniques IX | Buch | 978-0-412-79490-2 | sack.de

Buch, Englisch, 518 Seiten, Format (B × H): 160 mm x 241 mm, Gewicht: 2040 g

Reihe: IFIP Advances in Information and Communication Technology

Bredereke / Gotzhein

Formal Description Techniques IX

Theory, application and tools
1996
ISBN: 978-0-412-79490-2
Verlag: Springer US

Theory, application and tools

Buch, Englisch, 518 Seiten, Format (B × H): 160 mm x 241 mm, Gewicht: 2040 g

Reihe: IFIP Advances in Information and Communication Technology

ISBN: 978-0-412-79490-2
Verlag: Springer US

This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with special emphasis on standardised FDTs. It features state-of-the-art in theory, application, tools and industrialisation of formal description.

Bredereke / Gotzhein Formal Description Techniques IX jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Bredereke, J.
Gotzhein, R.

Fachgebiete

Weitere Infos & Material

Tools and tool support. FDT-application. FDT-based system and protocol engineering. Performance modelling and analysis. Real-time and probability aspects. Verification and validation. Industrial usage reports. Extensions of FDTs and semantical foundations.

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.