(JP¥2,000)
+NT$498 Shipping fee
+NT$64 Agent service fee
Text are automatically translated.
Report translation issueText are automatically translated.
Report translation issueFraud prevention
Customer support
Refund support for customers
Seller info
bonobono
5/5692
View detail
Item condition
Some scratches/marks
Ships from
Japan
Category
Bundle & Save : Our users save an average of 35% on shipping fees by bundling multiple items!
Something went wrong, please try again later.
Something went wrong, please try again later.
"Theorem Proving with Coq/SSReflect/MathComp: Formalizing Mathematics with Free Software" Manabu Hagiwara / Renaud Affeldt Price: ¥3200 #ManabuHagiwara #Manabu_Hagiwara #RenaudAffeldt #Book #Nature/Mathematics
8 months ago