Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
Formal Description Techniques IX
Theory, application and tools
518 Seiten, Hardcover
€ 329,99
Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
| Reihe | IFIP Advances in Information and Communication Technology |
|---|---|
| ISBN | 9780412794902 |
| Sprache | Englisch |
| Erscheinungsdatum | 30.09.1996 |
| Genre | Technik/Elektronik, Elektrotechnik, Nachrichtentechnik |
| Verlag | Springer US |
| Herausgegeben von | R. Gotzhein, J. Bredereke |
| Lieferzeit | Lieferbar in 11 Werktagen |
| Herstellerangaben | Anzeigen Springer Nature Customer Service Center GmbH Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
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.
| Reihe | IFIP Advances in Information and Communication Technology |
|---|---|
| ISBN | 9780412794902 |
| Sprache | Englisch |
| Erscheinungsdatum | 30.09.1996 |
| Genre | Technik/Elektronik, Elektrotechnik, Nachrichtentechnik |
| Verlag | Springer US |
| Herausgegeben von | R. Gotzhein, J. Bredereke |
| Lieferzeit | Lieferbar in 11 Werktagen |
| Herstellerangaben | Anzeigen Springer Nature Customer Service Center GmbH Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
Wie gefällt Ihnen unser Shop?