おかげさまで開設25周年CAPSTONEPLATINUMHEALTH.COM 創業祭

CAPSTONEPLATINUMHEALTH.COM

詳しくはこちら

マイストア変更

(4961)

【2024秋冬新作】 |本林晋, | 8) (情報数学講座プログラム検証論 | Amazon | 通販システム設計、開発

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

HOT ! 【2024秋冬新作】 |本林晋, | 8) (情報数学講座プログラム検証論 | Amazon | 通販システム設計、開発

※CAPSTONEPLATINUMHEALTH.COM 限定モデル
YouTuberの皆様に商品の使い心地などをご紹介いただいております！
紹介動画はこちら

ネット販売
価格（税込）

10200円

コメリカード番号登録、コメリカードでお支払いで
コメリポイント： 1ポイント獲得

コメリポイントについて

購入個数

お店で受け取る
（送料無料）

受け取り店舗：

お店を選ぶ

近くの店舗を確認する

納期目安：

13時までに注文→17時までにご用意

17時までに注文→翌朝までにご用意

受け取り方法・送料について

カートに入れる

配送する

納期目安：

06月06日頃のお届け予定です。

決済方法が、クレジット、代金引換の場合に限ります。その他の決済方法の場合はこちらをご確認ください。

※土・日・祝日の注文の場合や在庫状況によって、商品のお届けにお時間をいただく場合がございます。

欲しいものリストに追加されました

【2024秋冬新作】 |本林晋, | 8) (情報数学講座プログラム検証論 | Amazon | 通販システム設計、開発の詳細情報

プログラム検証論 (情報数学講座 8) | 晋, 林 |本 | 通販 | Amazon。プログラム検証論林晋 (情報数学講座ホーア論理数理論理学。。2017年産　古古古古古古古米　「もち米」の玄米15キロ鳥の餌。

		プログラム検証論 (情報数学講座 8) 共立出版：発行林晋：著

SKU

03O-241212004005001-000

jan

9784320026582

コンディション

中古 - 可

コンディション説明

表紙にスレ、ヨレ、傷み、多少のヤケ、天地小口に多少のスレ、本に多少のヨレ、があります。本を読むことに支障はございません。※注意事項※■商品・状態はコンディションガイドラインに基づき、判断・出品されております。■付録等の付属品がある商品の場合、記載されていない物は『付属なし』とご理解下さい。※

送料

ゆうメール

商品説明

【当店の商品詳細・付属品や状態はコンディション説明でご確認ください。こちらに記載がある場合は書籍本体・内容の説明や元の付属品の説明であり、当店の商品とは異なる場合があります。参考としてご覧ください。】

手続き型プログラム言語の検証の基礎理論と数学的バックグランドをやさしく具体的に解説。

※※※※注意事項※※※※

・配送方法は当店指定のものとなります。変更希望の場合は別途追加送料を頂戴します。

・送料無料の商品については、当社指定方法のみ無料となります。

・商品画像へ、表紙についているステッカーや帯等が映っている場合がありますが、中古品の為付属しない場合がございます。。Pure Data　チュートリアル&リファレンス。中古（目立った傷や汚れなし）アルゴリズムイントロダクション第3版総合版 (世界標準MIT教科書)。FM-11BASIC＋FMCAL入門　（パソコンライブラリ）戸川隼人　　電気工学　コンピュータ―　PC　日立。本当はこんなに安い！騙されないアパート向け無料インターネットとは？！。実践Vim 思考のスピードで編集しよう!。〈洋書〉ソフトウェアとシステムのトレーサビリティ Software and Systems Traceability／Jane Cleland-Huang、Orlena Gotel、AndreaZisman。統計的因果推論モデル・推論・推測／ＪｕｄｅａＰｅａｒｌ【著】，黒木学【訳】。オペレーティングシステムの先進的概念　前川守　監訳　佐藤文孝　星野康夫　渡辺清　共訳　丸善株式会社　【ta03b】。For　PC-98　WIZARD V3　テクニカル・マニュアル　ウエストサイド。珍品激レア The S-100 BUS Handbook DAVE BUSSKY著 (Bayden Book 1981年英語版)。美品 P/ECE hand book VOL.2 Aquaplus 公認 / JC2 / まかべひろし大型本。[A01368402]型システム入門 ?プログラミング言語と型の理論?。Game　Go　未使用品です。

・写真内にある本・DVD・CDなど商品以外のメジャーやライター等のサイズ比較に使用した物、カゴやブックエンド等撮影時に使用した物は付属致しません。