Formal Methods for Protocol Engineering and Distributed Systems, Fachbücher von Jianping Wu, Samuel T. Chanson, Quiang G...
"Formal Methods for Protocol Engineering and Distributed Systems" ist ein Fachbuch, das sich mit formalen Beschreibungstechni... Mehr erfahren
Finde die besten Angebote
Bester Preis106 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
"Formal Methods for Protocol Engineering and Distributed Systems" ist ein Fachbuch, das sich mit formalen Beschreibungstechniken (FDTs) befasst, die auf verteilte Systeme und Kommunikationsprotokolle anwendbar sind. Das Buch bietet einen umfassenden Überblick über den aktuellen Stand der Theorie, Anwendung, Werkzeuge und die Industrialisierung von FDTs. Es behandelt wichtige Aspekte wie die systematische und protokollbasierte Ingenieurarbeit unter Verwendung von FDTs sowie deren Anwendung in verteilten Systemen. Darüber hinaus werden praktische Erfahrungen und Fallstudien präsentiert, die die Relevanz und Anwendbarkeit dieser Techniken in der Praxis verdeutlichen. Die Inhalte basieren auf den Proceedings der Joint International Conference on Formal Description Techniques, die 1999 in Peking stattfand und von der International Federation for Information Processing (IFIP) gesponsert wurde. Dieses Buch eignet sich sowohl als ergänzendes Lehrbuch für Graduierte im Bereich der verteilten Systeme oder Kommunikation als auch als wertvolle Referenz für Forscher und Fachleute in der Industrie.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer