
CONCUR'99. Concurrency Theory: 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings (Lecture Notes in Computer Science, 1664, Band 1664)
Kurzinformation



inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage

Beschreibung
Das Buch "CONCUR'99. Concurrency Theory: 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings" ist ein Sammelband, der die Beiträge zur 10. Internationalen Konferenz über Nebenläufigkeitstheorie (Concurrency Theory) enthält. Diese Konferenz fand im August 1999 in Eindhoven, Niederlande statt und wurde von Sjouke Mauw herausgegeben. Der Band ist Teil der Reihe "Lecture Notes in Computer Science" und umfasst verschiedene wissenschaftliche Arbeiten, die sich mit theoretischen und praktischen Aspekten der Nebenläufigkeit in Computersystemen befassen. Die Themen reichen von Modellierungstechniken für parallele und verteilte Systeme bis hin zu formalen Methoden zur Verifikation und Analyse solcher Systeme. Die Beiträge behandeln unter anderem Prozessalgebren, Petri-Netze, temporale Logik sowie Anwendungen dieser Theorien in der Praxis. Das Buch richtet sich an Forscher und Praktiker im Bereich der Informatik, insbesondere diejenigen mit einem Fokus auf Theorie und Anwendung von Nebenläufigkeit in komplexen Softwaresystemen.
Produktdetails

So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
- Kartoniert
- 1078 Seiten
- Erschienen 2001
- Springer
- paperback
- 500 Seiten
- Erschienen 2008
- Springer
- paperback
- 356 Seiten
- Erschienen 2008
- Springer
- Kartoniert
- 729 Seiten
- Erschienen 2006
- Springer Berlin Heidelberg
- Kartoniert
- 736 Seiten
- Erschienen 2007
- Springer
- Kartoniert
- 551 Seiten
- Erschienen 1996
- Springer
- Kartoniert
- 358 Seiten
- Erschienen 2006
- Springer