Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science)
価格： ￥8,069
カテゴリ： ハードカバー
関連商品
- Philosophical Troubles: Collected Papers
- Algebraic Theories: A Categorical Introduction to General Algebra (Cambridge Tracts in Mathematics)
- Introduction to Bisimulation and Coinduction
- Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena (Center for the Study of Language and Information Publication Lecture Notes)
- 線形代数の世界―抽象数学の入り口 (大学数学の入門)