Presents the research on concurrency, parallelism, and distribution, important paradigms of modern computer science. Topics considered include semantics for concurrent systems, modeling of concurrency, mobile and coordinated systems, algebraic specifications, and Petri nets. DLC: Graph grammars.
發表於2025-01-24
圖文法及圖像轉換計算手冊,捲三 2025 pdf epub mobi 電子書 下載
圖書標籤:
圖文法及圖像轉換計算手冊,捲三 2025 pdf epub mobi 電子書 下載