新入荷 再入荷

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

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

商品詳細情報

管理番号 新品 :69245255237
中古 :69245255237-1
メーカー 6f88905b0051ff 発売日 2025-04-21 05:26 定価 30000円
カテゴリ

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

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

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


 SKU
03O-241212004005001-000
 jan
9784320026582
 コンディション
中古 - 可
 コンディション説明
表紙にスレ、ヨレ、傷み、多少のヤケ、天地小口に多少のスレ、本に多少のヨレ、があります。小傷み 実践Vim 思考のスピードで編集しよう!。本を読むことに支障はございません。戦略とパターンによるビジネスオブジェクトモデリング 第2版 ソフトウェア工学 オブジェクト指向 システム分析 220206ya。※注意事項※■商品・状態はコンディションガイドラインに基づき、判断・出品されております。コンピュータによる構造工学講座〈I-3 B〉エネルギ原理入門 (1970年)。■付録等の付属品がある商品の場合、記載されていない物は『付属なし』とご理解下さい。FM-11BASIC+FMCAL入門 (パソコンライブラリ)戸川隼人  電気工学 コンピュータ― PC 日立。※
 送料
ゆうメール
 商品説明
【当店の商品詳細・付属品や状態はコンディション説明でご確認ください。[A01829062]C++のためのAPIデザイン マーティン・レディ、 Martin Reddy、 三宅 陽一郎; ホジソン ますみ。こちらに記載がある場合は書籍本体・内容の説明や元の付属品の説明であり、当店の商品とは異なる場合があります。[A01112969]ユースケース導入ガイド: 成功する要求収集テクニック。参考としてご覧ください。Pro-face(シュナイダーエレクトリック) GP-Pro EX for GP3000シリーズ、画面作成ソフトウェア。】

手続き型プログラム言語の検証の基礎理論と数学的バックグランドをやさしく具体的に解説。ソフトウェア開発へのSWEBOKの適用★松本 吉弘 (著)★株式会社 オーム社 Ohmsha★絶版★。

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

・配送方法は当店指定のものとなります。〈洋書〉VEHICULAR NETWORKING 車両ネットワーク /Christoph Sommer, Falko Dressler。変更希望の場合は別途追加送料を頂戴します。OBJECT ORIENTED DESIGN WITH APPLICATION Grady Booch 英文書籍 ソフトウェア工学 システム分析 システム設計 220130ya。

・送料無料の商品については、当社指定方法のみ無料となります。コンピュータビジョン/David A.Forsyth,JeanPonce【著】,大北剛【訳】。

・商品画像へ、表紙についているステッカーや帯等が映っている場合がありますが、中古品の為付属しない場合がございます。パターン認識と機械学習(下) ベイズ理論による統計的予測/C.M.ビショップ【著】,元田浩,栗田多喜夫,樋口知之,松本裕治,村田昇【。

・写真内にある本・DVD・CDなど商品以外のメジャーやライター等のサイズ比較に使用した物、カゴやブックエンド等撮影時に使用した物は付属致しません。IoHを指向する感情・思考センシング技術 エレクトロニクスシリーズ/石井克典。

 

レディースの製品

商品情報の訂正

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

訂正依頼フォーム

商品レビュー

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