Formal Techniques for Networked and Distributed Systems - FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 ... Notes in Computer Science, 5048, Band 5048)
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
Das Buch "Formal Techniques for Networked and Distributed Systems - FORTE 2008" ist eine Sammlung von wissenschaftlichen Arbeiten, die auf der 28. IFIP WG 6.1 International Conference in Tokio präsentiert wurden. Die Konferenz fand vom 10. bis 13. Juni 2008 statt und konzentrierte sich auf formale Methoden zur Analyse, Spezifikation und Verifikation von Netzwerk- und verteilten Systemen. Der Band umfasst verschiedene Beiträge, die sich mit theoretischen Grundlagen sowie praktischen Anwendungen dieser Techniken beschäftigen. Zu den behandelten Themen gehören unter anderem Protokollverifikation, Modellierung von Kommunikationssystemen, Sicherheitsaspekte in Netzwerken und die Entwicklung zuverlässiger verteilter Systeme. Das Buch richtet sich an Forscher und Praktiker im Bereich der Informatik, die sich mit der Verbesserung der Zuverlässigkeit und Effizienz solcher Systeme auseinandersetzen möchten.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
