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

Condition: USED (All books are in used condition)

Customers who purchased this also purchased....