Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship
53.49 EUR
Ein umfassendes Lehrbuch, das die Wechselwirkung von Kompositionsprinzipien und Nebenläufigkeit in formalen Beweistheorien untersucht und zeigt, wie diese Konzepte Teilkorrektheit in Prozessnetzwerken sichern.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship (Lecture Notes in Computer Science, 321, Band 321)
Medimops DE
22-04-2026 05:40:08
Gesponsert
SpringerLink DE
Compositionality, Concurrency, and Partial Correctness
SpringerLink DE
22-04-2026 09:18:47
Ähnliche Produkte
Compositionality Context and Semantic Values
106.99 EUR
