Semantics of Systems of Concurrent Processes: LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23–27, 1990 Proceedings (Lecture Notes in Computer Science, Band 469)
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
Das Buch "Semantics of Systems of Concurrent Processes" ist eine Sammlung von Vorträgen und Forschungsarbeiten, die im Rahmen der LITP Spring School on Theoretical Computer Science 1990 in La Roche Posay, Frankreich, präsentiert wurden. Herausgegeben von Irene Guessarian, konzentriert sich das Werk auf die theoretischen Aspekte der Semantik von nebenläufigen Prozessen in Computersystemen. Es umfasst verschiedene Ansätze zur Modellierung und Analyse solcher Systeme, darunter formale Methoden wie Prozessalgebren, Petri-Netze und andere mathematische Modelle. Die Beiträge stammen von führenden Forschern auf diesem Gebiet und bieten sowohl eine Einführung als auch vertiefte Einblicke in aktuelle Entwicklungen der theoretischen Informatik zu dieser Zeit. Zielgruppe sind vor allem Wissenschaftler und Studierende, die sich mit den Grundlagen und fortgeschrittenen Konzepten der Parallelverarbeitung auseinandersetzen möchten.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Entdecke mehr vom Verlag
