新入荷 再入荷

スポーツストア (情報数学講座 プログラム検証論 8) 林晋:著 共立出版:発行 システム設計、開発

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

商品詳細情報

管理番号 新品 :12905255237
中古 :12905255237-1
メーカー 9fe74829df91d 発売日 2025-05-16 12:46 定価 30000円
カテゴリ

スポーツストア (情報数学講座 プログラム検証論 8) 林晋:著 共立出版:発行 システム設計、開発

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

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


 SKU
03O-241212004005001-000
 jan
9784320026582
 コンディション
中古 - 可
 コンディション説明
表紙にスレ、ヨレ、傷み、多少のヤケ、天地小口に多少のスレ、本に多少のヨレ、があります。Game Go 未使用品です。。本を読むことに支障はございません。[A12293404]攻めのデータ活用の「つまずきポイント」に備える49のチェックリスト。※注意事項※■商品・状態はコンディションガイドラインに基づき、判断・出品されております。Pro-face データマネジメントソフトウェア Pro-Server EX(EX-SDV-12) (シュナイダーエレクトリック)。■付録等の付属品がある商品の場合、記載されていない物は『付属なし』とご理解下さい。Pure Data チュートリアル&リファレンス。※
 送料
ゆうメール
 商品説明
【当店の商品詳細・付属品や状態はコンディション説明でご確認ください。★Jetson nano Dev Kit B01 書籍・カメラ他★動作確認済。こちらに記載がある場合は書籍本体・内容の説明や元の付属品の説明であり、当店の商品とは異なる場合があります。[A01369017]SQL〈上〉マスター編 (テクニック・ライブラリシリーズ) マーティン グルーバー、 Gruber,Martin; QUIPU。参考としてご覧ください。メインフレーム実践ハンドブック z/OS、MSP、VOS3のしくみと使い方/神居俊哉【著】,高尾司【監修】。】

手続き型プログラム言語の検証の基礎理論と数学的バックグランドをやさしく具体的に解説。〈洋書〉ソフトウェアとシステムのトレーサビリティ Software and Systems Traceability/Jane Cleland-Huang、Orlena Gotel、AndreaZisman。

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

・配送方法は当店指定のものとなります。M28☆ 【 まとめ 3冊 】 Cプログラムブック 1-3 セット ASCIIソフトウェアバンク グラフィック アセンブラ コンパイラ LISP 240523。変更希望の場合は別途追加送料を頂戴します。中古(目立った傷や汚れなし) アルゴリズムイントロダクション 第3版 総合版 (世界標準MIT教科書)。

・送料無料の商品については、当社指定方法のみ無料となります。[A01368402]型システム入門 ?プログラミング言語と型の理論?。

・商品画像へ、表紙についているステッカーや帯等が映っている場合がありますが、中古品の為付属しない場合がございます。オペレーティングシステムの先進的概念 前川 守 監訳 佐藤 文孝 星野 康夫 渡辺 清 共訳 丸善株式会社 【ta03b】。

・写真内にある本・DVD・CDなど商品以外のメジャーやライター等のサイズ比較に使用した物、カゴやブックエンド等撮影時に使用した物は付属致しません。[A01590489]電気材料 改訂4版 誠三郎, 鳳。

 

レディースの製品

商品情報の訂正

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

訂正依頼フォーム

商品レビュー

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