Formal Description Techniques IX
Theory, application and tools
(Sprache: Englisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch
330.63 €
Produktdetails
Produktinformationen zu „Formal Description Techniques IX “
Klappentext zu „Formal Description Techniques IX “
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.
Inhaltsverzeichnis zu „Formal Description Techniques IX “
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.
Bibliographische Angaben
- 1996, 532 Seiten, Maße: 16 x 24,1 cm, Gebunden, Englisch
- Herausgegeben: J. Bredereke, R. Gotzhein
- Verlag: Springer US
- ISBN-10: 041279490X
- ISBN-13: 9780412794902
- Erscheinungsdatum: 30.09.1996
Sprache:
Englisch
Kommentar zu "Formal Description Techniques IX"
0 Gebrauchte Artikel zu „Formal Description Techniques IX“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Formal Description Techniques IX".
Kommentar verfassen