دانلود کتاب Compositionality, Concurrency and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship
by Job Zwiers (auth.)|
|
عنوان فارسی: Compositionality، همزمانی و صحت جزئی: نظریه اثبات برای شبکه فرآیندها، و ارتباط آنها |


دانلود کتاب

این کتاب رو مطالعه کردید؟ نظر شما چیست؟