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