Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship
Springer Berlin Heidelberg (9783540508458 / 6901407) | And Partial Correctness
Preis von (3 Angebote)53.49 EUR
Weitere Informationen


