Concurrency Verification
Introduction to Compositional and Non-compositional Methods
Cambridge Tracts in Theoretical Computer Science
Roever, Willem-Paul de
Boer, Frank de
Hanneman, Ulrich
- 出版社：Cambridge University Press
- 出版年月：2012年 01月
- ISBN：9780521169325
- 装丁：PAP
-
装丁について
- 言語：ENG
- 巻数・ページ数：800 p.
- DDC分類：005.14