中古あり ￥27,643より
(2025/11/25 19:39:06時点)
Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science, Series Number 52)
詳しい情報
出版社: Cambridge University Press(2011-10-13)
ハードカバー: 340 ページ / 16.5 x 2.5 x 24.1 cm
ISBN-10: 1107004977 ISBN-13: 9781107004979