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

ELECTRONICSRP.COM

詳しくはこちら
マイストア マイストア 変更
  • 即日配送
  • 広告
  • 取置可能
  • 店頭受取

HOT ! ト セール おすすめ | 8) (情報数学講座 プログラム検証論 晋, Amazon | 通販 | |本 林 システム設計、開発

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

ネット販売
価格(税込)

10200

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

コメリポイントについて

購入個数を減らす
購入個数を増やす

お店で受け取る お店で受け取る
(送料無料)

受け取り店舗:

お店を選ぶ

近くの店舗を確認する

納期目安:

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

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

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

カートに入れる

配送する 配送する

納期目安:

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

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

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

即日出荷条件について

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

カートに入れる

欲しいものリストに追加

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

ト セール おすすめ | 8) (情報数学講座 プログラム検証論 晋, Amazon | 通販 | |本 林 システム設計、開発の詳細情報

プログラム検証論 (情報数学講座 8) | 晋, 林 |本 | 通販 | Amazon。プログラム検証論 林晋 (情報数学講座 ホーア論理 数理論理学。。あきたこまち2/26精米10キロ。

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


 SKU
03O-241212004005001-000
 jan
9784320026582
 コンディション
中古 - 可
 コンディション説明
表紙にスレ、ヨレ、傷み、多少のヤケ、天地小口に多少のスレ、本に多少のヨレ、があります。FM-7/NEW7/77ユ-ティリティ・プログラム応用実例集 秀和システム 印南 比呂志。本を読むことに支障はございません。オペレーティング・システム (電子計算機シリーズ) 日本評論社 前川守。※注意事項※■商品・状態はコンディションガイドラインに基づき、判断・出品されております。AI事典 第3版 人工知能/中島秀之(著者),浅田稔(著者),松原仁(著者),橋田。■付録等の付属品がある商品の場合、記載されていない物は『付属なし』とご理解下さい。近代科学社 アルゴリズムイントロダクション 第3版 総合版。※
 送料
ゆうメール
 商品説明
【当店の商品詳細・付属品や状態はコンディション説明でご確認ください。洋書 論文集 ER'98 進化ロボティクスシンポジウム 知能ロボットから人工生命まで 1998年。こちらに記載がある場合は書籍本体・内容の説明や元の付属品の説明であり、当店の商品とは異なる場合があります。日経コンピュータ 2018.4~2019.4 計26冊。参考としてご覧ください。AI事典 第3版 人工知能/中島秀之(著者),浅田稔(著者),松原仁(著者),橋田。】

手続き型プログラム言語の検証の基礎理論と数学的バックグランドをやさしく具体的に解説。SONY MICRO COMPUTER SOBAX ICC-2700 PROGRAM LIBRARY■ソニー マイクロコンピュータ プログラムライブラリー。

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

・配送方法は当店指定のものとなります。U84◇ハードカバー・CD付属【日本で生まれた数式処理ソフト リサアジール ガイドブック】齋藤友克 竹島卓 平野照比古(著)/SEG出版/240731。変更希望の場合は別途追加送料を頂戴します。k16-145 マイコン入門 大内淳義。

・送料無料の商品については、当社指定方法のみ無料となります。Redbook AIXシステム管理の基礎 / AIX上級システム管理 等6冊セット。

・商品画像へ、表紙についているステッカーや帯等が映っている場合がありますが、中古品の為付属しない場合がございます。[A12329948]Code Craft ~エクセレントなコードを書くための実践的技法~ (プレミアムブックス版) [単行本] 鵜飼 文敏、 後藤。

・写真内にある本・DVD・CDなど商品以外のメジャーやライター等のサイズ比較に使用した物、カゴやブックエンド等撮影時に使用した物は付属致しません。【まとめ/53冊セット】Software Design 2020年4月号~2024年10月号 2020年6・7月号欠品/技術評論社/プログラミング/情報工学【ac02o】。

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

同じカテゴリの 商品を探す

ベストセラーランキングです

このカテゴリをもっと見る

この商品を見た人はこんな商品も見ています

近くの売り場の商品

このカテゴリをもっと見る

カスタマーレビュー

オススメ度  4.4点

現在、4004件のレビューが投稿されています。