HOME

プログラム検証論林晋 (情報数学講座ホーア論理数理論理学コレクション形式手法)

Name: プログラム検証論 林晋 (情報数学講座 ホーア論理 数理論理学 コレクション 形式手法)
Brand: プログラム検証論
SKU: S428439045
Price: 12000 JPY
Availability: InStock
Rating: 4.6 (56 reviews)

商品説明・詳細
送料・お届け

商品情報

以下の説明をすべてご理解頂いた上で御入札の程、よろしくお願いいたします●商品の説明● 商品名：プログラム検証論内容物：画像の様に本1冊です■商品の状態■ 外観に使用感がありますが、中身はひどいヨゴレなど無くきれいですカバー表面に小キズなどの使用感がありますカバー縁に沿ってヨレがみられます天にヨゴレがみられます裏表紙側見返しに古書店タグの貼り付けがあります丁寧に通読しましたが、その際に誤植を直す様な書き込みを鉛筆で弱く２，３箇所行いました非喫煙環境での保管・使用です。タバコ臭のほか、悪臭はありません PayPayフリマと同時掲載していますその他画像にてご判断ください▲発送方法▲ ゆうパケット (出品者負担) 水濡れ防止の袋と破損防止のエアキャップ(プチプチ)を用いて梱包いたします＊ご注意＊ 3日以内にお支払いまで済ませられない場合は入札しないでください商品到着から一週間以内に商品の状態と動作をご確認ください !かんたん決済のみご利用いただけます★不明点はご質問ください

嵐 Time 僕の見ている風景小売業者 Beautiful World 初回限定版

林晋ブログ - my weblog

JRC一手扱い―三恵社

理論)11 ソフトウェア科学のための論理学』 - mrsekut-p

林晋ブログ - my weblog

声紋分析ボイススキャン Voice scan - その他

嵐 Time 僕の見ている風景小売業者 Beautiful World 初回限定版

理論)11 ソフトウェア科学のための論理学』 - mrsekut-p

エアコン完全分解クリーニング、または、日帰りクリーニングなど - 季節、空調家電

理論)11 ソフトウェア科学のための論理学』 - mrsekut-p

プログラム検証論 (情報数学講座 8) | 晋, 林 |本 | 通販 | Amazon

JRC一手扱い―三恵社

11-1乳酸菌東京大学薬学部高い免疫活性率 30包×2箱 - 健康

残り 6 点 12,000円

（944 ポイント還元！）

翌日お届け可（営業日のみ） ※一部地域を除く

お届け日: 02月01日〜指定可お届け日: (明日15:00のご注文まで)

ラッピング

対応決済方法

クレジットカード
コンビニ前払い決済
代金引換: 商品到着と引き換えにお支払いいただけます。 (送料を含む合計金額が￥288,578 まで対応可能)
ペイジー前払い決済(ATM/ネットバンキング): 以下の金融機関のATM/ネットバンクからお支払い頂けます
みずほ銀行、三菱ＵＦＪ銀行、三井住友銀行
りそな銀行、ゆうちょ銀行、各地方銀行
Amazon Pay(Amazonアカウントでお支払い)