古本・中古本
メール便対象
SPINモデル検査入門/単行本
プレミアム会員とは
この商品の詳細
- 出版社
- オーム社
- 出版社シリーズ
- ISBN
- 9784274208447
- サイズ
- 単行本
- 発売年月日
- 2010年03月01日
この商品の紹介
自動検証法のひとつであるモデル検査ツール「ＳＰＩＮ」の使い方を、入力仕様記述言語であるＰｒｏｍｅｌａの言語仕様とともに詳しく解説。非決定性という概念を理解するツールとしての用い方も説明する。
SPINモデル検査入門/単行本
710
円(税込)
良く一緒に買われている商品 もっと見る
-
ポップンミュージックキャラクターイラストブック AC6，7，8，9／CS6，7 3,798円
-
大学入試 突破力を鍛える最難関の数学 890円
-
損しない！まるわかり！相続大全 元国税相続専門40年ベテラン税理士が教える 1,890円
-
SURF IS WHERE YOU FIND IT サーフィンの神様、ジェリー・ロペスが綴るライフスタイルストーリー 2,470円
-
木村雅一の数学の記述答案が面白いほど書ける本 990円
-
プロ野球チームをつくろう！3公式コンプリートガイド 2,470円
-
淫花の香り－北原由紀写真集 343円
-
私がオバさんになっても－森高千里写真集 276円
-
必殺シリーズ完全闇知識 瞬間の愛編 275円
-
イース（5）－さまよえる砂の都－＜上＞ 165円
週間売れ筋ランキング（コンピューター・インターネット） もっと見る
-
独断と偏見 275円
-
キレイはこれでつくれます 275円
-
本当の自由を手に入れるお金の大学 139円
-
4位リーダブルコード より良いコードを書くためのシンプルで実践的なテクニック 1,370円
-
5位本当の自由を手に入れる お金の大学 改訂版 1,480円
-
6位もっと！「育ちがいい人」だけが知っていること 470円
-
7位ナナメの夕暮れ 275円
-
8位頭のいい人が話す前に考えていること 890円
-
9位「育ちがいい人」だけが知っていること 今からでも「育ち」は良くなる！ 330円
-
10位日日是好日－「お茶」が教えてくれた１５のしあわせ－ 220円
-
11位【暗記カード付】あたまがコんガらガっち劇場 「りりりりりりりりり」の謎 330円
-
12位人を操る禁断の文章術（メンタリズム） 220円
-
13位【ＣＤ－ＲＯＭ付】いちばんやさしい西洋占星術入門 550円
-
14位「好き」を言語化する技術 推しの素晴らしさを語りたいのに「やばい！」しかでてこない 990円
-
15位超雑談力 人づきあいがラクになる 誰とでも信頼関係が築ける 890円
-
16位２ケ月で月３０万円を実現する 超初心者でも稼げるＡＩ活用法 1,370円
-
17位１３歳からのアート思考 「自分だけの答え」が見つかる 890円
-
18位マダムたちのルームシェア＜２＞ 550円
-
19位荒木飛呂彦の新・漫画術悪役の作り方 550円
-
20位夢と金 710円
この商品を見た人におすすめ もっと見る
-
ポップンミュージックキャラクターイラストブック AC6，7，8，9／CS6，7 3,798円
-
大学入試 突破力を鍛える最難関の数学 890円
-
損しない！まるわかり！相続大全 元国税相続専門40年ベテラン税理士が教える 1,890円
-
SURF IS WHERE YOU FIND IT サーフィンの神様、ジェリー・ロペスが綴るライフスタイルストーリー 2,470円
-
木村雅一の数学の記述答案が面白いほど書ける本 990円
-
プロ野球チームをつくろう！3公式コンプリートガイド 2,470円
-
必殺シリーズ完全闇知識 瞬間の愛編 275円
-
イース（5）－さまよえる砂の都－＜上＞ 165円
-
密教ヨーガ－タントラヨーガの本質と秘法－ 990円
-
小説ダンジョン・マスター 165円
-
ハワイ語－日本語辞典 1,690円
-
金色の盃＜下＞ 330円
-
探偵神宮寺三郎Early days－疾走の街－ 165円
-
ポケモンカード必勝大作戦 220円
-
グランディアパラレルトリッパーズオフィシャルガイド 220円
-
生命組織塩でバランスをとる 生命組織塩（シュスラー塩）のスタンダードテキスト 990円
-
かくも長き不在 220円
-
さくま式人生ゲーム公式人生イケイケがいど 覇王ゲームスペシャル＜139＞ 110円
-
アート・オブ・マジック＜ラース・サイクル編＞ 3,998円
-
memory of アニメ『ギヴン』オフィシャルファンブック 710円
