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

ONMEAP.COM

詳しくはこちら

マイストア変更

(3237)

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

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

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

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

ネット販売
価格（税込）

10200円

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

コメリポイントについて

購入個数

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

受け取り店舗：

お店を選ぶ

近くの店舗を確認する

納期目安：

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

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

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

カートに入れる

配送する

納期目安：

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

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

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

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

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

プログラム検証論 (情報数学講座 8) | 晋, 林 |本 | 通販 | Amazon。プログラム検証論林晋 (情報数学講座ホーア論理数理論理学。。グルテンフリー雑穀米　300グラム。

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

SKU

03O-241212004005001-000

jan

9784320026582

コンディション

中古 - 可

コンディション説明

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

送料

ゆうメール

商品説明

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

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

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

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

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

・商品画像へ、表紙についているステッカーや帯等が映っている場合がありますが、中古品の為付属しない場合がございます。

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

。実践アジャイルテスト　テスターとアジャイルチームのための実践ガイド。美品単行本コンピュータサイエンスパスワード解析完全版 IPUSIRON (著)　日本初!パスワードクラッキングマニュアル。美品 P/ECE hand book VOL.2 Aquaplus 公認 / JC2 / まかべひろし大型本。『ヒューマンインターフェース/コンピュータとの交友未来学』●ニコラス P.ネグロポンテ●吉成真由美●昭和59年●全188P●PCパソコンITAI。Pro-face　画面作成ソフトウェア　GP-Pro EX(EX-ED-V22) (シュナイダーエレクトリック)。実践Vim 思考のスピードで編集しよう!。システム設計、開発 Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions (Addison-Wesley Sign。M28☆ 【まとめ 3冊】 Cプログラムブック 1-3 セット ASCIIソフトウェアバンクグラフィックアセンブラコンパイラ LISP 240523。珍品激レア The S-100 BUS Handbook DAVE BUSSKY著 (Bayden Book 1981年英語版)。ゼロから作るDeep Learning 1-4セット。コンピュータによる構造工学講座〈I-3 B〉エネルギ原理入門 (1970年)。統計的因果推論モデル・推論・推測／ＪｕｄｅａＰｅａｒｌ【著】，黒木学【訳】。iOSプログラミングAdobe Flashで作るiOSアプリ (MacPeople Books) アスキー・メディアワークス株式会社JETMAN