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: 04-05-2026 09:16:09
Gesponsert
53.49 EUR
Preis aktualisiert am: 04-05-2026 00:38:04

Allgemein

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

Eigenschaften

Menü