この商品の詳細
- 出版社
- ナノオプト・メディア
- 出版社シリーズ
- CVS教程
- ISBN
- 9784764955066
- サイズ
- 単行本
- 発売年月日
- 2010年02月01日
この商品の紹介
システムの数理的なモデルが、期待する性質をもっているかどうかを判定するモデル検査。モデルの合成、モデルの抽象化、計算木論理（ＣＴＬ）など、モデル検査の典型的な技能を取り上げて解説する。
モデル検査 上級編/単行本
550
円(税込)
この商品と同年代のコンピューター・インターネットのおすすめ もっと見る
-
あなたを変える！仕事にスグ効くパソコン術 Windows Vista，Excel 2007，Word 2007 110円
-
効率のよい組込みC言語プログラミング 470円
-
データを「見える化」するExcelピボットテーブル大事典 110円
-
Adobe After Effectsトレーニングブック 275円
-
Accessクエリ＆フォーム＆レポート辞典 165円
-
エンジニアのためのJavadoc再入門講座 165円
-
説得できるプレゼンの鉄則PowerPoint上級極意編 【第2版】 165円
-
人と対話するコンピュータを創っています 110円
-
タッチ1秒パソコン術 110円
-
スッキリ考え、1秒で説得図解の極意 110円
週間売れ筋ランキング（コンピューター・インターネット） もっと見る
-
本当の自由を手に入れるお金の大学 275円
-
頭のいい人が話す前に考えていること 710円
-
キレイはこれでつくれます 220円
-
4位一切なりゆき 220円
-
5位ＡＩのサバイバル＜１＞ 165円
-
6位ＡＩのサバイバル＜２＞ 275円
-
7位生成ＡＩ最速仕事術 1,480円
-
8位本当の自由を手に入れる お金の大学 改訂版 1,480円
-
9位独断と偏見 275円
-
10位答え合わせ 330円
-
11位人生がときめく片づけの魔法 110円
-
12位整理整頓 学校では教えてくれない大切なこと１ 330円
-
13位ノンデザイナーズ・デザインブック 【第４版】 1,590円
-
14位「好き」を言語化する技術 890円
-
15位ボールペンでかんたん！プチかわいいイラストが描ける本 330円
-
16位伝える力 110円
-
17位ＡＩって何だろう？ 人工知能が拓く世界 学校では教えてくれない大切なこと２９ 470円
-
18位ゲッターズ飯田の金持ち風水＆マインド 275円
-
19位ネットのルール 学校では教えてくれない大切なこと１２ 400円
-
20位人を操る禁断の文章術（メンタリズム） 275円
この商品を見た人におすすめ もっと見る
-
気功生活のすすめ 550円
-
ボードレール批評＜1＞ 990円
-
アー・キン 330円
-
タウ・ゼロ 470円
-
メタルギアソリッド公式完全ガイドブック 330円
-
図説世界史を変えた50の鉱物 800円
-
MADOKA 19,998円
-
疥癬はこわくない 1,150円
-
ヤマハ・TW・ファイル 1,890円
-
もっと知りたいカンディンスキー 990円
-
そこが知りたい！固定資産管理の実務 890円
-
永い後日談のネクロニカ テーブルトークRPGルールブック 2,470円
-
ときめきメモリアルドラマシリーズvol．2彩（いろどり）のラブソングパーフェクトガイド 165円
-
ナイト＆ベイビー だいぼうけんの本 165円
-
幻想水滸伝＜幻想真書＞－2000夏号－＜1＞ 220円
-
イース（5）－さまよえる砂の都－＜中＞ 110円
-
人狼の四季 330円
-
死刑囚ピーウィーの告白 220円
-
クレヨンしんちゃん嵐を呼ぶシネマランドの大冒険！公式ガイドブック 165円
-
おジャ魔女どれみ18 2nd－Spring has……－ 550円
