Handbook of Process Algebra
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
"Handbook of Process Algebra" von S.A. Smolka ist ein umfassendes Nachschlagewerk, das sich auf die Prozessalgebra konzentriert, eine mathematische Theorie, die zur Beschreibung von parallelen und verteilten Systemen verwendet wird. Das Buch deckt alle Aspekte der Prozessalgebra ab, einschließlich ihrer Semantik, ihrer Anwendung auf verschiedene Bereiche wie Netzwerke und Betriebssysteme sowie den Techniken zur Analyse und Verifizierung von prozessalgebraischen Modellen. Es enthält auch eine Diskussion über aktuelle Forschungsthemen in diesem Bereich. Dieses Handbuch ist sowohl für Studenten als auch für Forscher nützlich, die sich mit paralleler Programmierung, Verteilungssystemen oder formaler Verifikation befassen.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
