
中古あり ¥11,594より
(2025/09/30 06:31:17時点)
Fundamental Proof Methods in Computer Science: A Computer-Based Approach
お気に入り図書館の蔵書
設定詳しい情報
出版社: The MIT Press(2017-05-05)
ハードカバー: 976 ページ / 22.9 x 20.8 x 4.1 cm
ISBN-10: 0262035537 ISBN-13: 9780262035538