Advanced Topics in Bisimulation and Coinduction
Cambridge Tracts in Theoretical Computer Science
Sangiorgi, Davide (EDT)
Rutten, Jan (EDT)
- 出版社：Cambridge University Press
- 出版年月：2011年 10月
- ISBN：9781107004979
- 装丁：HRD
-
装丁について
- 言語：ENG
- 巻数・ページ数：340 p.
- 分類： コンピュータ一般
- DDC分類：004.015113
- 内容紹介：
-
A perfect complement to the first editor's Introduction to Bisimulation and Coinduction (Cambridge University Press, 2011).