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)
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 ein Konferenzband, der die Beiträge der 28. IFIP WG 6.1 International Conference enthält, die vom 10. bis 13. Juni 2008 in Tokio, Japan, stattfand. Herausgegeben von Khaled El-Fakih, versammelt es eine Reihe von wissenschaftlichen Arbeiten und Studien, die sich mit formalen Methoden zur Modellierung, Analyse und Verifikation von Netzwerk- und verteilten Systemen beschäftigen. Die Themen reichen von theoretischen Grundlagen über praktische Anwendungen bis hin zu Fallstudien in verschiedenen Bereichen der Informatik. Ziel des Bandes ist es, den Austausch von Ideen und Fortschritten in diesem Bereich zu fördern und neue Ansätze für Herausforderungen in der Netzwerktechnologie zu präsentieren.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
