この商品の詳細
- 出版社
- 近代科学社
- 出版社シリーズ
- ISBN
- 9784764903531
- サイズ
- 単行本
- 発売年月日
- 2008年04月01日
この商品の紹介
モデル検査法の自動検証ツールの中で、もっとも実用的なＳＰＩＮにはじめて触れるソフトウェア技術者向け入門書。前半はＰｒｏｍｅｌａ／ＳＰＩＮの基本的事項を説明し、後半は適用事例を紹介する。
SPINモデル検査/単行本
220
円(税込)
この商品と同年代のコンピューター・インターネットのおすすめ もっと見る
週間売れ筋ランキング（コンピューター・インターネット） もっと見る
-
頭のいい人が話す前に考えていること 710円
-
本当の自由を手に入れるお金の大学 220円
-
キレイはこれでつくれます 220円
-
4位「好き」を言語化する技術 890円
-
5位夢と金 710円
-
6位捨てられた僕と母猫と奇跡 470円
-
7位リーダブルコード 1,370円
-
8位外資系コンサルのスライド作成術 890円
-
9位美容に全ぶり 1,260円
-
10位オラクルカードリーディングブック 400円
-
11位独断と偏見 275円
-
12位生成ＡＩで世界はこう変わる 470円
-
13位樹木希林１２０の遺言 710円
-
14位ロジカル・シンキング－論理的な思考と構成のスキル－ 1,260円
-
15位超雑談力 890円
-
16位【赤シート付】学校で習っていなくても読んで理解できる 藤原進之介の ゼロから始める情報Ｉ 710円
-
17位ガラクタ捨てれば自分が見える 165円
-
18位３ケ月で１万フォロワー 月１０万円を叶える 革命的に稼げるインスタ運用法 890円
-
19位すごい言語化 800円
-
20位姑娘 470円
この商品を見た人におすすめ もっと見る
-
ある日どこかで 550円
-
スチール・ビーチ＜上＞ 630円
-
気功生活のすすめ 550円
-
アー・キン 330円
-
ボードレール批評＜1＞ 990円
-
愛の台南 1,260円
-
生命の理念＜1＞ 1,150円
-
タウ・ゼロ 470円
-
メタルギアソリッド公式完全ガイドブック 330円
-
MADOKA 19,998円
-
疥癬はこわくない 1,150円
-
そこが知りたい！固定資産管理の実務 890円
-
ヤマハ・TW・ファイル 1,890円
-
図説世界史を変えた50の鉱物 800円
-
もっと知りたいカンディンスキー 990円
-
武装神姫－always together－ 165円
-
ときめきメモリアルドラマシリーズvol．2彩（いろどり）のラブソングパーフェクトガイド 165円
-
ナイト＆ベイビー だいぼうけんの本 165円
-
幻想水滸伝＜幻想真書＞－2001夏号－＜5＞ 165円
-
クロックタワー～The First Fear～パーフェクトガイド 165円