買取
検索履歴 検索候補

ログアウトしますか？

  1. ネットオフTOP
  2. 古本・中古本
  3. 女性・生活・コンピュータ
  4. モデル検査 上級編/単行本
古本・中古本 メール便対象

モデル検査 上級編/単行本

作家 ： 産業技術総合研究所システム検証研究センター
プレミアム会員とは
クーポン
お得！10点以上まとめ買いで5％OFFクーポン！！
LINE
友だち追加で100円引き
値下げしたらメールでお知らせ！

モデル検査 上級編/単行本

買取金額50%UP
＋お買物クーポン500円分プレゼント！

ネットオフで使えるクーポン
買取を申し込む
クーポン
お得！10点以上まとめ買いで5％OFFクーポン！！
ポイント
条件達成で楽天ポイント最大300ポイントプレゼント！
LINE
友だち追加で100円引き

この商品の詳細

出版社
ナノオプト・メディア
出版社シリーズ
CVS教程
ISBN
9784764955066
サイズ
単行本
発売年月日
2010年02月01日

この商品の紹介

システムの数理的なモデルが、期待する性質をもっているかどうかを判定するモデル検査。モデルの合成、モデルの抽象化、計算木論理（ＣＴＬ）など、モデル検査の典型的な技能を取り上げて解説する。

値下げしたらメールでお知らせ！

モデル検査 上級編/単行本

買取金額50%UP
＋お買物クーポン500円分
プレゼント！

ネットオフで使えるクーポン
買取を申し込む

モデル検査 上級編/単行本

550 円(税込)

この商品と同年代のコンピューター・インターネットのおすすめ もっと見る

週間売れ筋ランキング（コンピューター・インターネット） もっと見る

この商品を見た人におすすめ もっと見る

  • 作品がありません
    他の条件で探してみましょう！

人気タグからおすすめ商品を探す

新着タグからおすすめ商品を探す

好きな商品の関連商品を探す

お好きな商品を含むタグの一覧を表示します

すべてのタグを見る

おすすめの特集から探す

商品が入荷したらメールでお知らせ

取り置きではありませんので、
すぐに売り切れになる場合もございます。

以下の商品をカートに入れました

モデル検査　上級編

古本・中古本／女性・生活・コンピュータ／産業技術総合研究所システム検証研究センター

現在の送料：

あとで送料無料！

カートに進む

この商品を買った人はこちらも

商品を入荷メールに登録しました。

商品をお気に入りに登録しました。

この商品を買った人はこちらも

商品をお気に入りから登録解除しました。