中古あり ￥20,093より
(2026/01/15 13:46:09時点)
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