Compositionality, Concurrency and Partial Correctness : Proof Theories for Networks of Processes, and Their Relationship
類似資料:
Springer Berlin Heidelberg : Imprint: Springer | |
Springer-Verlag | |
Springer-Verlag | |
Springer-Verlag |
Springer-Verlag |
5
電子ブック
Extensions of the UNITY Methodology : Compositionality, Fairness and Probability in Parallelism
Springer-Verlag | |
6
電子ブック
KORSO: Methods, Languages, and Tools for the Construction of Correct Software : Final Report
Springer-Verlag |