中古あり ￥30,106より
(2026/01/30 17:58:25時点)
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
詳しい情報
出版社: Cambridge University Press(2001-01-15)
ハードカバー: 436 ページ / 16.5 x 3.2 x 24.1 cm
ISBN-10: 0521641705 ISBN-13: 9780521641708