Coq/SSReflect/MathCompによる定理証明フリーソフトではじ…|mercari商品代購│mercariメルカリ官方合作夥伴-跨買 TOKUKAI

Coq/SSReflect/MathCompによる定理証明フリーソフトではじ…

商品售價	mercari全品項5%折扣 2,500 546
立即購買我要議價
商品狀態	目立った傷や汚れなし

賣家所有商品

賣家ID	Naha Naha
賣家評價	21500
商品所在地	愛知県
日本當地運費	送料込み(出品者負担)
發送方式	らくらくメルカリ便
預計出貨時間	2~3日で発送
加入最愛關注賣家

頁面可能沒有顯示完整的商品圖片及說明，建議您前往商品的原始頁面查閱更多商品介紹。

商品說明

書き込みなどなく、きれいな状態です
ただ小口のところに少し汚れがつきました(写真4)

中古品であることご理解いただける方

#Coq/SSReflect/MathCompによる定理証明フリーソフトではじめる数学の形式化
萩原学 / アフェルト・レナルド
定価: ￥ 3200

#萩原学 #萩原_学 #アフェルト・レナルド #本 #自然／数学

（質問合計：0件）

目前沒有任何問答。

cyndi0082

2017-06-10 10:01

テレビ付きですか？

chan_ta55

2017-06-12 18:41

ご質問ありがとうございます。地上デジタル・BSデジタル・110度CSデジタル放送対応(4チューナ搭載)です。ご検討の上、よろしくお願いいたします。

savugaz1985917

2017-06-11 12:24

テレビ付きですか？

登入後即可提問