形式手法と形式言語(含む仕様記述言語、モデル検査)

kaizen (愛知県)
(殿堂入りNo1レビュアー)    さんの"リストマニア"リスト
 
4日で学ぶモデル検査 (初級編) (CVS教程 (1))
1.  4日で学ぶモデル検査 (初級編) (CVS教程 (1))  産業技術総合研究所システム検証研究センター
リスト作成者のコメント:
  "わかりやすい本"
新品&中古品: ¥ 1,448
5つ星のうち 5.0  レビューをすべて見る (1 カスタマーレビュー)

他の商品を見る
Formal Refinement for Operating System Kernels
2.  Formal Refinement for Operating System Kernels  Iain D. Craig
リスト作成者のコメント:
  "formal method for OS"
¥ 9,870   新品&中古品: ¥ 7,060
5つ星のうち 5.0  レビューをすべて見る (1 カスタマーレビュー)

The B-Book: Assigning Programs to Meanings
3.  The B-Book: Assigning Programs to Meanings  A. Hoare
リスト作成者のコメント:
  "B method"
新品&中古品: ¥ 11,009
5つ星のうち 5.0  レビューをすべて見る (1 カスタマーレビュー)

他の商品を見る
SPIN Model Checker, The: Primer and Reference Manual
4.  SPIN Model Checker, The: Primer and Reference Manual  Gerard J. Holzmann
リスト作成者のコメント:
  "SPINといえばこの本"
新品&中古品: ¥ 10,337
5つ星のうち 5.0  レビューをすべて見る (1 カスタマーレビュー)

他の商品を見る
コンピュータ基礎理論ハンドブック (2)
5.  コンピュータ基礎理論ハンドブック (2)  広瀬 健
リスト作成者のコメント:
  "頼りになるハンドブック"
¥ 36,750   新品&中古品: ¥ 12,000
5つ星のうち 5.0  レビューをすべて見る (1 カスタマーレビュー)

ホーアCSPモデルの理論
6.  ホーアCSPモデルの理論  C.A.R. ホーア
リスト作成者のコメント:
  "ホーア理論のホーア先生"
新品&中古品: ¥ 6,100
5つ星のうち 5.0  レビューをすべて見る (1 カスタマーレビュー)

他の商品を見る
オートマトン言語理論 計算論〈1〉 (Information & Computing)
7.  オートマトン言語理論 計算論〈1〉 (Information & Computing)  J. ホップクロフト
リスト作成者のコメント:
  "オートマトン"
¥ 2,940   新品&中古品: ¥ 948
5つ星のうち 4.2  レビューをすべて見る (4件のカスタマーレビュー)

プログラミング言語理論への招待―正しいソフトウェアを書くために (ASCII SOFTWARE SCIENCE Language)
8.  プログラミング言語理論への招待―正しいソフトウェアを書くために (ASCII SOFTWARE SCIENCE Language)  バートランド メイヤー
リスト作成者のコメント:
  "形式言語への準備運動"
新品&中古品: ¥ 35,698
5つ星のうち 4.5  レビューをすべて見る (2件のカスタマーレビュー)

他の商品を見る
プログラム仕様記述論 (IT Text)
9.  プログラム仕様記述論 (IT Text)  荒木 啓二郎
¥ 2,940   新品&中古品: ¥ 989
5つ星のうち 4.3  レビューをすべて見る (3件のカスタマーレビュー)

SPINモデル検査―検証モデリング技法
10.  SPINモデル検査―検証モデリング技法  中島 震
リスト作成者のコメント:
  "SPINの本です。"
¥ 3,990   新品&中古品: ¥ 1,970
5つ星のうち 5.0  レビューをすべて見る (1 カスタマーレビュー)

プログラム検証論 (情報数学講座)
11.  プログラム検証論 (情報数学講座)  林 晋
リスト作成者のコメント:
  "プログラムの検証を考えるならまず本書を読むことをお薦めします"
新品&中古品: ¥ 6,248
5つ星のうち 5.0  レビューをすべて見る (1 カスタマーレビュー)

他の商品を見る
ソフトウェア開発のモデル化技法
12.  ソフトウェア開発のモデル化技法  ジョン フィッツジェラルド
リスト作成者のコメント:
  "VDM-SLの本"
¥ 5,040   新品&中古品: ¥ 499
5つ星のうち 3.6  レビューをすべて見る (5件のカスタマーレビュー)

Bメソッドによる形式仕様記述―ソフトウェアシステムのモデル化とその検証 (トップエスイー実践講座)
13.  Bメソッドによる形式仕様記述―ソフトウェアシステムのモデル化とその検証 (トップエスイー実践講座)  来間 啓伸
¥ 3,780   新品&中古品: ¥ 3,529
5つ星のうち 5.0  レビューをすべて見る (1 カスタマーレビュー)

関数型プログラミング (1985年) (コンピュータ・サイエンス研究書シリーズ〈17〉)
14.  関数型プログラミング (1985年) (コンピュータ・サイエンス研究書シリーズ〈17〉)  杉藤 芳雄
在庫切れ
5つ星のうち 5.0  レビューをすべて見る (1 カスタマーレビュー)

計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)
15.  計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)  高橋 正子
リスト作成者のコメント:
  "ラムダ計算は不得意ですが、、"
¥ 3,570   新品&中古品: ¥ 2,282
5つ星のうち 5.0  レビューをすべて見る (4件のカスタマーレビュー)

論理による問題の解法―Prolog入門 (情報処理シリーズ)
16.  論理による問題の解法―Prolog入門 (情報処理シリーズ)  R. コワルスキ
リスト作成者のコメント:
  "これで始めてPrologを書きました。"
新品&中古品: ¥ 5,186
5つ星のうち 5.0  レビューをすべて見る (1 カスタマーレビュー)

他の商品を見る
プログラムの理論 (1975年) (コンピュータ・サイエンス研究書シリーズ〈23〉)
17.  プログラムの理論 (1975年) (コンピュータ・サイエンス研究書シリーズ〈23〉)  ゾーハ・マンナ
新品&中古品: ¥ 25,000
5つ星のうち 5.0  レビューをすべて見る (1 カスタマーレビュー)

他の商品を見る
ペトリネット理論入門―並列同時進行の表現と解析
18.  ペトリネット理論入門―並列同時進行の表現と解析  ヴォルフガング ライシッヒ
リスト作成者のコメント:
  "一度も書いたことがありませんが、、、"
新品&中古品: ¥ 6,250
5つ星のうち 5.0  レビューをすべて見る (1 カスタマーレビュー)

他の商品を見る
ソフトウェアクリーンルーム手法―高品質ソフトウェア開発パラダイム
19.  ソフトウェアクリーンルーム手法―高品質ソフトウェア開発パラダイム  佐藤 武久
¥ 2,520   新品&中古品: ¥ 150
5つ星のうち 5.0  レビューをすべて見る (1 カスタマーレビュー)

コンピュータによる定理の証明 (1983年) (コンピュータ・サイエンス研究書シリーズ〈27〉)
20.  コンピュータによる定理の証明 (1983年) (コンピュータ・サイエンス研究書シリーズ〈27〉)  長尾 真
在庫切れ
5つ星のうち 5.0  レビューをすべて見る (1 カスタマーレビュー)

データ型序説
21.  データ型序説  J.C. Cleaveland
¥ 5,077   新品&中古品: ¥ 999
5つ星のうち 5.0  レビューをすべて見る (1 カスタマーレビュー)

Model Checking
22.  Model Checking  Edmund M. Clarke Jr.
¥ 5,638   新品&中古品: ¥ 3,326

Systems and Software Verification: Model-Checking Techniques and Tools
23.  Systems and Software Verification: Model-Checking Techniques and Tools  Beatrice Berard
¥ 6,418   新品&中古品: ¥ 5,947

形式手法モデル理論アプローチ―情報システム開発の基礎
24.  形式手法モデル理論アプローチ―情報システム開発の基礎  高原 康彦
¥ 3,990   新品&中古品: ¥ 2,197

Formal Methods Fact File: VDM and Z (Wiley Series in Software Engineering Practice)
25.  Formal Methods Fact File: VDM and Z (Wiley Series in Software Engineering Practice)  Andrew Harry
新品&中古品: ¥ 565

他の商品を見る

その他のサービス

この作成者の他の情報を探す
 リストをすべて見る
マイリストを作る
 リストを作成
自分のプロフィールページを表示する
 プロフィールページ

情報: このリストマニア

 

作成者

kaizen (愛知県)
(殿堂入りNo1レビュアー)   
簡単な自己紹介: 技術の分かるデザイナ
最終更新日: 08/06/11
違反を報告
    

その他の リストマニア

 

SPIN(Simple Promela(protocol meta language) interpreter) SPIN(Simple Promela(protocol meta language) interpreter)

SPIN(Simple Promela(protocol meta language) interpreter): リストでは9個の商品を紹介。リスト作成者: kaizen

形式的モデルと意味論(コンピュータ基礎理論ハンドブックII) 形式的モデルと意味論(コンピュータ基礎理論ハンドブックII)

形式的モデルと意味論(コンピュータ基礎理論ハンドブックII): リストでは25個の商品を紹介。リスト作成者: kaizen

そろそろ世に出るモデル検査をそろそろチェック そろそろ世に出るモデル検査をそろそろチェック

そろそろ世に出るモデル検査をそろそろチェック: リストでは10個の商品を紹介。リスト作成者: 大和谷 潔