×
  • Compositionality, Concurrency and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship

    Job Zwiers (auth.)

Click on cover to enlarge.
Buy This Book
From Amazon.
6 - 7Hours to read