ソフトウェア科学基礎(トップエスイー講座)参考文献

kaizen (愛知県)
(殿堂入りNo1レビュアー)    さんの"リストマニア"リスト
 
ソフトウェア科学基礎―最先端のソフトウェア開発に求められる数理的基礎 (トップエスイー基礎講座)
1.  ソフトウェア科学基礎―最先端のソフトウェア開発に求められる数理的基礎 (トップエスイー基礎講座)  磯部 祥尚
¥ 3,990   新品&中古品: ¥ 2,300
5つ星のうち 5.0  レビューをすべて見る (1 カスタマーレビュー)

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

ソフトウェア開発のモデル化技法
3.  ソフトウェア開発のモデル化技法  ジョン フィッツジェラルド
¥ 5,040   新品&中古品: ¥ 904
5つ星のうち 3.6  レビューをすべて見る (5件のカスタマーレビュー)

Validated Designs For Object-oriented Systems
4.  Validated Designs For Object-oriented Systems  Peter Gorm Larsen
¥ 7,476   新品&中古品: ¥ 4,593
5つ星のうち 5.0  レビューをすべて見る (1 カスタマーレビュー)

Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science)
5.  Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science)  Jim Woodcock
新品&中古品: ¥ 3,395

他の商品を見る
Programming from Specifications (Prentice Hall International Series in Computing Science)
6.  Programming from Specifications (Prentice Hall International Series in Computing Science)  Carroll Morgan
新品&中古品: ¥ 2,235

他の商品を見る
Refinement Calculus: A Systematic Introduction (Graduate Texts in Computer Science)
7.  Refinement Calculus: A Systematic Introduction (Graduate Texts in Computer Science)  Ralph-Johan Back
¥ 12,018   新品&中古品: ¥ 10,129

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

関数プログラミング
9.  関数プログラミング  R. バード
¥ 4,620   新品&中古品: ¥ 2,800
5つ星のうち 3.0  レビューをすべて見る (2件のカスタマーレビュー)

リアルタイム/マルチタスクシステムの徹底研究―組み込みシステムの基本とタスクスケジューリング技術の基礎 (TECHI)
10.  リアルタイム/マルチタスクシステムの徹底研究―組み込みシステムの基本とタスクスケジューリング技術の基礎 (TECHI)  藤倉 俊幸
新品&中古品: ¥ 1,000
5つ星のうち 3.2  レビューをすべて見る (4件のカスタマーレビュー)

他の商品を見る
SPINモデル検査―検証モデリング技法
11.  SPINモデル検査―検証モデリング技法  中島 震
¥ 3,990   新品&中古品: ¥ 1,970
5つ星のうち 5.0  レビューをすべて見る (1 カスタマーレビュー)

4日で学ぶモデル検査 (初級編) (CVS教程 (1))
12.  4日で学ぶモデル検査 (初級編) (CVS教程 (1))  産業技術総合研究所システム検証研究センター
新品&中古品: ¥ 1,448
5つ星のうち 5.0  レビューをすべて見る (1 カスタマーレビュー)

他の商品を見る
ゲーデル 不完全性定理 (岩波文庫)
13.  ゲーデル 不完全性定理 (岩波文庫)  ゲーデル
¥ 840   新品&中古品: ¥ 392
5つ星のうち 4.4  レビューをすべて見る (14件のカスタマーレビュー)

記号論理学の基礎 (1974年)
14.  記号論理学の基礎 (1974年)  D.ヒルベルト
新品&中古品: ¥ 4,000

他の商品を見る
言語理論とオートマトン (サイエンスライブラリ情報電算機 6)
15.  言語理論とオートマトン (サイエンスライブラリ情報電算機 6)  J.E.ホップクロフト
¥ 2,957   新品&中古品: ¥ 620
5つ星のうち 5.0  レビューをすべて見る (2件のカスタマーレビュー)

記号論理入門 (日評数学選書)
16.  記号論理入門 (日評数学選書)  前原 昭二
¥ 2,310   新品&中古品: ¥ 1,650
5つ星のうち 4.6  レビューをすべて見る (5件のカスタマーレビュー)

復刊 数理論理学
17.  復刊 数理論理学  松本 和夫
¥ 3,885   新品&中古品: ¥ 2,481
5つ星のうち 4.5  レビューをすべて見る (2件のカスタマーレビュー)

情報科学における論理 (情報数学セミナー)
18.  情報科学における論理 (情報数学セミナー)  小野 寛晰
¥ 3,465   新品&中古品: ¥ 2,100
5つ星のうち 4.8  レビューをすべて見る (4件のカスタマーレビュー)

新装版 集合とはなにか―はじめて学ぶ人のために (ブルーバックス)
19.  新装版 集合とはなにか―はじめて学ぶ人のために (ブルーバックス)  竹内 外史
¥ 945   新品&中古品: ¥ 490
5つ星のうち 4.4  レビューをすべて見る (12件のカスタマーレビュー) | 1件のクチコミ

公理的集合論 (現代数学レクチャーズ (B‐10))
20.  公理的集合論 (現代数学レクチャーズ (B‐10))  田中 尚夫
新品&中古品: ¥ 16,000
5つ星のうち 5.0  レビューをすべて見る (1 カスタマーレビュー)

他の商品を見る
数の体系と超準モデル
21.  数の体系と超準モデル  田中 一之
新品&中古品: ¥ 11,100

他の商品を見る
ゲーデルと20世紀の論理学(ロジック)〈1〉ゲーデルの20世紀
22.  ゲーデルと20世紀の論理学(ロジック)〈1〉ゲーデルの20世紀  田中 一之
¥ 3,990   新品&中古品: ¥ 2,700
5つ星のうち 5.0  レビューをすべて見る (1 カスタマーレビュー)

モダン オペレーティング システム 原書 第2版
23.  モダン オペレーティング システム 原書 第2版  Andrew S.Tanenbaum
¥ 7,350   新品&中古品: ¥ 5,807
5つ星のうち 4.7  レビューをすべて見る (3件のカスタマーレビュー)

トランザクション処理システム入門
24.  トランザクション処理システム入門  フィリップ バーンスタイン
新品&中古品: ¥ 488
5つ星のうち 4.0  レビューをすべて見る (1 カスタマーレビュー)

他の商品を見る
ディペンダブルシステム―高信頼システム実現のための耐故障・検証・テスト技術
25.  ディペンダブルシステム―高信頼システム実現のための耐故障・検証・テスト技術  米田 友洋
¥ 3,885   新品&中古品: ¥ 1,740
5つ星のうち 5.0  レビューをすべて見る (2件のカスタマーレビュー)

その他のサービス

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

情報: このリストマニア

 

作成者

kaizen (愛知県)
(殿堂入りNo1レビュアー)   
最終更新日: 09/04/15
違反を報告
    

その他の リストマニア

 

オーム社 2010 03/04 best オーム社 2010 03/04 best

オーム社 2010 03/04 best: リストでは23個の商品を紹介。リスト作成者: kaizen

気になる本 気になる本

気になる本: リストでは6個の商品を紹介。リスト作成者: マンモスフラワー "マンモスフラワー"

東京の八重洲ブックセンターで平積みになっていたオーム社の本20100423 東京の八重洲ブックセンターで平積みになっていたオーム社の本20100423

東京の八重洲ブックセンターで平積みになっていたオーム社の本20100423: リストでは25個の商品を紹介。リスト作成者: kaizen

プログラミング入門 プログラミング入門

プログラミング入門: リストでは7個の商品を紹介。リスト作成者: 佐原伸 "汚牛粗忽"

System Engineering System Engineering

System Engineering: リストでは6個の商品を紹介。リスト作成者: akisoni