Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship (Lecture Notes in Computer Science, 321, Band 321)

Ein anspruchsvolles Werk, das die mathematische Struktur von Prozessnetzwerken beleuchtet, indem es die Wechselwirkung zwischen Komposition, Paralleli ...
Gesponsert
50.25 EUR
Preis aktualisiert am: 08-08-2026 08:54:05
Gesponsert
59.00 EUR
Preis aktualisiert am: 08-08-2026 12:27:46

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540508457
MPN
Springer Berlin Heidelberg 6901407

Eigenschaften

Menü