Concurrent Programming, Open Systems and Formal Methods
Essays Dedicated to Gul Agha to Celebrate His Scientific Career
Lecture Notes in Computer Science
Meseguer, Jose (EDT)
Varela, Carlos A. (EDT)
Venkatasubramanian, Nalini (EDT)
- 出版社：Springer Nature Switzerland Ag
- 出版年月：2025年 10月
- ISBN：9783032052902
- 装丁：PAP
-
装丁について
- 言語：ENG
- 巻数・ページ数：528 p.