Derzeit nicht verfügbar
Handgeprüfte Gebrauchtware
Bis zu 50 % günstiger als neu
Der Umwelt zuliebe
Directed Algebraic Topology and Concurrency
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen (Gebundene Ausgabe, Englisch)
Keine Bewertungen vorhanden
Optischer Zustand
Beschreibung
This monograph presents an application of concepts and methods from algebraic topology to models of concurrent processes in computer science and their analysis. Taking well-known discrete models for concurrent processes in resource management as a point of departure, the book goes on to refine combinatorial and topological models. In the process, it develops tools and invariants for the new Dieses Produkt haben wir gerade leider nicht auf Lager.
Handgeprüfte Gebrauchtware
Bis zu 50 % günstiger als neu
Der Umwelt zuliebe
Technische Daten
Erscheinungsdatum
11.03.2016
Sprache
Englisch
EAN
9783319153971
Herausgeber
Springer International Publishing
Sonderedition
Nein
Autor
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen
Seitenanzahl
167
Auflage
1
Einbandart
Gebundene Ausgabe
Schlagwörter
ALCOOL Tool, Concurrency Theory, Directed Algebraic Topology, Distributed Networks, Geometrical Models for Execution Spaces, Higher Dimensional Automata, Models for Concurrency, State space Reduction, Static Analysis of Concurrent Programs, complexity
Thema-Inhalt
UYA - Theoretische Informatik
PBPD - Algebraische Topologie
TBJ - Mathematik für Ingenieure
GPFC - Kybernetik und Systemtheorie
Höhe
235 mm
Breite
15.5 cm
Hersteller: Springer, Europaplatz 3, Heidelberg, Deutschland, 69115, ProductSafety@springernature.com, Springer Nature Customer Service Center GmbH
-.-
Leider noch keine Bewertungen
Leider noch keine Bewertungen
Sicher bei rebuy kaufen
Schreib die erste Bewertung für dieses Produkt!
Wenn du eine Bewertung für dieses Produkt schreibst, hilfst du allen Kund:innen, die noch überlegen, ob sie das Produkt kaufen wollen. Vielen Dank, dass du mitmachst!
Sicher bei rebuy kaufen