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