連想検索

キーワード・文章から検索！

ショッピングカート

カートは空です...

カートへ...
　
書籍商 東京都公安委員会
許可 第303298300269号

【ここから本文】

Mechanizing proof : computing, risk, and trust.

著者名：
MacKenzie, Donald A.
出版元：
MIT Press
冊数：
xi, 427 p.
刊行年：
c2001

[Inside technology] cloth/dj

No.
42497
価格：
2,000円