新入荷 再入荷

高品質の人気 プログラム検証論 (情報数学講座 8) 共立出版:発行 林晋:著 システム設計、開発

flash sale icon タイムセール
終了まで
00
00
00
999円以上お買上げで送料無料(
999円以上お買上げで代引き手数料無料
通販と店舗では販売価格や税表示が異なる場合がございます。また店頭ではすでに品切れの場合もございます。予めご了承ください。
新品 18300円 (税込)
数量

商品詳細情報

管理番号 新品 :14429255237
中古 :14429255237-1
メーカー ae9e8e4140 発売日 2025-03-31 20:09 定価 30000円
カテゴリ

高品質の人気 プログラム検証論 (情報数学講座 8) 共立出版:発行 林晋:著 システム設計、開発

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

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


 SKU
03O-241212004005001-000
 jan
9784320026582
 コンディション
中古 - 可
 コンディション説明
表紙にスレ、ヨレ、傷み、多少のヤケ、天地小口に多少のスレ、本に多少のヨレ、があります。まとめ売り5冊 HITAC VOS2/VOS3 拡張統計計算プログラム・パッケージ 解説/文法書 コンピューター/BMDP/回帰分析/日立 【ひ2104 062】。本を読むことに支障はございません。SONY MICRO COMPUTER SOBAX ICC-2700 PROGRAM LIBRARY■ソニー マイクロコンピュータ プログラムライブラリー。※注意事項※■商品・状態はコンディションガイドラインに基づき、判断・出品されております。【まとめ/53冊セット】Software Design 2020年4月号~2024年10月号 2020年6・7月号欠品/技術評論社/プログラミング/情報工学【ac02o】。■付録等の付属品がある商品の場合、記載されていない物は『付属なし』とご理解下さい。洋書 論文集 ER'98 進化ロボティクスシンポジウム 知能ロボットから人工生命まで 1998年。※
 送料
ゆうメール
 商品説明
【当店の商品詳細・付属品や状態はコンディション説明でご確認ください。AA276◆OSF/Motif ウイジェット上達法 リリース1.2 2版 ディスク付き◆アジソン・ウェスレイ・トッパン 情報科学シリーズ37◆1993年初版。こちらに記載がある場合は書籍本体・内容の説明や元の付属品の説明であり、当店の商品とは異なる場合があります。Pro-face データマネジメントソフトウェア Pro-Server EX(PFXEXSDVV13) (シュナイダーエレクトリック)。参考としてご覧ください。[A12329948]Code Craft ~エクセレントなコードを書くための実践的技法~ (プレミアムブックス版) [単行本] 鵜飼 文敏、 後藤。】

手続き型プログラム言語の検証の基礎理論と数学的バックグランドをやさしく具体的に解説。エージェントアプローチ 人工知能/スチュワートラッセル(著者),ピーターノーヴィグ(著者),古川康一(訳者)。

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

・配送方法は当店指定のものとなります。[A12345670]ビットスライスLSIとその応用。変更希望の場合は別途追加送料を頂戴します。【絶版】Windows95 ユーザーインターフェイスプログラミング アスキー出版局 ★即決★。

・送料無料の商品については、当社指定方法のみ無料となります。ビジネスマンのポケコン入門―誰でもできるコンピュータ (1982年) 西 順一郎。

・商品画像へ、表紙についているステッカーや帯等が映っている場合がありますが、中古品の為付属しない場合がございます。2019システム監査技術者「専門知識+午後問題」の重点対策 (情報処理技術者試験対策書) アイテック 川辺良和。

・写真内にある本・DVD・CDなど商品以外のメジャーやライター等のサイズ比較に使用した物、カゴやブックエンド等撮影時に使用した物は付属致しません。【カバー無し】ハッカーズ大辞典 改訂新版 (アスキーブックス) アスキー Eric S.Raymond。

 

レディースの製品

商品情報の訂正

このページに記載された商品情報に記載漏れや誤りなどお気づきの点がある場合は、下記訂正依頼フォームよりお願い致します。

訂正依頼フォーム

商品レビュー

レビューの投稿にはサインインが必要です