Name: Compositionality Concurrency and Partial Correctness
Brand: Springer Berlin Heidelberg
SKU: ID12004881
Availability: InStock

Compositionality Concurrency and Partial Correctness

50.25 EUR 6% Off 53.49 EUR

Ein tiefgehendes Werk über die Logik paralleler Prozesse, das zeigt, wie Komposition und Nebenläufigkeit in formalen Beweistheorien zusammenwirken, um Teilkorrektheit zu garantieren.

Marke: Springer Berlin Heidelberg

ISBN: 3540508457

MPN: 6901407

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-6%

Gesponsert Compositionality, Concurrency, and Partial Correctness

preigu.de

50.25 EUR 53.49 EUR

12-06-2026 03:31:27

Access to the deal

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

Medimops DE

53.49 EUR 53.49 EUR

12-06-2026 06:23:20

Access to the deal

Gesponsert Compositionality, Concurrency, and Partial Correctness

SpringerLink DE

53.49 EUR 53.49 EUR

11-06-2026 23:41:46

Access to the deal

Compositionality Concurrency and Partial Correctness

Gesponsert Compositionality, Concurrency, and Partial Correctness

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

Gesponsert Compositionality, Concurrency, and Partial Correctness

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Compositionality Concurrency and Partial Correctness

Gesponsert Compositionality, Concurrency, and Partial Correctness

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

Gesponsert Compositionality, Concurrency, and Partial Correctness

Ähnliche Produkte

Extensions of the UNITY Methodology

Algebraic Methodology and Software Technology: International Conference, AMAST'98 Amazonia, Brazil, JAnuary 4-8, 1999 Proceedings: International ... Notes in Computer Science, 1536, Band 1536)

Problems of Compositionality (Studies in Philosophy)

Bracketing Paradox and Direct Compositionality