中国・本の情報館～東方書店～
サイト内検索
カートを見る
ログイン ヘルプ お問い合わせ
トップページ 輸入書 国内書 輸入雑誌  
本を探す 検索   ≫詳細検索
詳細情報
交互式定理证明与程序开发：Ｃｏｑ归纳构造演算的艺术 ／国外经典教材·计算机科学与技术
〔德〕伯托特　〔德〕卡斯特兰　著　顾明　等译
出版社：清华大学出版社
出版年：2010年01月
コード：359456 　　432p　　 ISBN/ISSN 9787302208136
 
価格　4,543円
  在庫無し
現在、弊社に在庫がございません。海外からの取り寄せとなります。 		 
カートに入れる

中国・本の情報館～東方書店 東方書店トップページへ
会社案内 - ご注文の方法 - ユーザ規約 - 個人情報について - 著作権について