Semantics for Concurrency: Proceedings of the International Bcs-Facs Workshop, Sponsored by Logic for It (Workshops in Computing)
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
"Semantics for Concurrency: Proceedings of the International BCS-FACS Workshop," herausgegeben von M. Z. Kwiatkowska, ist eine Sammlung wissenschaftlicher Arbeiten, die sich mit der formalen Semantik konkurrierender Systeme befassen. Das Buch entstand aus einem Workshop, der sich auf die Anwendung logischer Methoden zur Modellierung und Analyse von Parallelität konzentriert. Es deckt verschiedene Ansätze ab, darunter Prozessalgebren, Petri-Netze und temporale Logik, um das Verhalten komplexer verteilter Systeme zu beschreiben und zu verifizieren. Die Beiträge stammen von führenden Forschern auf diesem Gebiet und bieten sowohl theoretische Erkenntnisse als auch praktische Anwendungen in der Informatik.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
