古本・中古本
メール便対象
SPINモデル検査 検証モデリング技法/単行本
プレミアム会員とは
この商品の詳細
- 出版社
- 近代科学社
- 出版社シリーズ
- ISBN
- 9784764903531
- サイズ
- 単行本
- 発売年月日
- 2008年04月01日
この商品の紹介
モデル検査法の自動検証ツールの中で、もっとも実用的なＳＰＩＮにはじめて触れるソフトウェア技術者向け入門書。前半はＰｒｏｍｅｌａ／ＳＰＩＮの基本的事項を説明し、後半は適用事例を紹介する。
SPINモデル検査 検証モデリング技法/単行本
220
円(税込)
良く一緒に買われている商品 もっと見る
-
大学入試 突破力を鍛える最難関の数学 890円
-
木村雅一の数学の記述答案が面白いほど書ける本 990円
-
SURF IS WHERE YOU FIND IT サーフィンの神様、ジェリー・ロペスが綴るライフスタイルストーリー 2,470円
-
損しない！まるわかり！相続大全 元国税相続専門40年ベテラン税理士が教える 1,890円
-
ポップンミュージックキャラクターイラストブック AC6，7，8，9／CS6，7 3,798円
-
プロ野球チームをつくろう！3公式コンプリートガイド 2,470円
-
密教ヨーガ－タントラヨーガの本質と秘法－ 990円
-
ハワイ語－日本語辞典 1,690円
-
必殺シリーズ完全闇知識 瞬間の愛編 275円
-
S―若林しほ写真集 775円
週間売れ筋ランキング（コンピューター・インターネット） もっと見る
-
キレイはこれでつくれます 275円
-
頭のいい人が話す前に考えていること 890円
-
伝える力 「話す」「書く」「聞く」能力が仕事を変える！ 110円
-
4位本当の自由を手に入れるお金の大学 139円
-
5位一切なりゆき 樹木希林のことば 139円
-
6位メイクがなんとなく変なので友達の美容部員にコツを全部聞いてみた 165円
-
7位鴻池剛と猫のぽんたニャアアアン！＜３＞ 165円
-
8位ユーモアは最強の武器である スタンフォード大学ビジネススクール人気講義 990円
-
9位ドラえもん 学年別ドラえもん名作選＜２年生＞ 447円
-
10位ノンデザイナーズ・デザインブック 【第４版】 1,590円
-
11位１３歳からのアート思考 「自分だけの答え」が見つかる 890円
-
12位社会人大学人見知り学部卒業見込 275円
-
13位ドラえもん 学年別ドラえもん名作選＜１年生＞ 400円
-
14位生成ＡＩで世界はこう変わる 470円
-
15位マンガでよくわかる子どもが変わる怒らない子育て 220円
-
16位頭がよくなる！寝るまえ１分おんどく３６６日 990円
-
17位大家さんと僕 これから 165円
-
18位ドラえもん 学年別ドラえもん名作選＜３年生＞ 470円
-
19位「育ちがいい人」だけが知っていること 今からでも「育ち」は良くなる！ 330円
-
20位鴻池剛と猫のぽんたニャアアアン！＜２＞ 165円
この商品を見た人におすすめ もっと見る
-
大学入試 突破力を鍛える最難関の数学 890円
-
木村雅一の数学の記述答案が面白いほど書ける本 990円
-
SURF IS WHERE YOU FIND IT サーフィンの神様、ジェリー・ロペスが綴るライフスタイルストーリー 2,470円
-
損しない！まるわかり！相続大全 元国税相続専門40年ベテラン税理士が教える 1,890円
-
ポップンミュージックキャラクターイラストブック AC6，7，8，9／CS6，7 3,798円
-
プロ野球チームをつくろう！3公式コンプリートガイド 2,470円
-
密教ヨーガ－タントラヨーガの本質と秘法－ 990円
-
ハワイ語－日本語辞典 1,690円
-
必殺シリーズ完全闇知識 瞬間の愛編 275円
-
イース（5）－さまよえる砂の都－＜上＞ 165円
-
金色の盃＜下＞ 330円
-
小説ダンジョン・マスター 165円
-
売春の社会史＜下＞ 220円
-
魔女の宅急便（4）－キキの恋－ 【新装版】 275円
-
魔女の宅急便（6）－それぞれの旅立ち－ 【新装版】 275円
-
音楽療法入門 理論と実践＜2＞ 1,990円
-
公式DOOMサバイバルガイド 470円
-
グランディアパラレルトリッパーズオフィシャルガイド 220円
-
いろいろのいろ刺繍帖 2,690円
-
アート・オブ・マジック＜ラース・サイクル編＞ 3,998円