ソフトウェア科学基礎
  • Googleプレビュー

ソフトウェア科学基礎 最先端のソフトウェア開発に求められる数理的基礎 (トップエスイー基礎講座)
磯部祥尚

4,104円(税込)送料無料

獲得ポイント:

この商品が関連するクーポン・キャンペーンがあります

※エントリー必要の有無や実施期間等の各種詳細条件は、必ず各説明頁でご確認ください。

楽天ブックスご利用で+1倍!

SPUでいつでもポイント最大8倍!

電子書籍版はまだありません。

商品基本情報

  • 発売日:  2008年09月
  • 著者/編集:   磯部祥尚粂野文洋
  • 出版社:   近代科学社
  • 発行形態:  全集・双書
  • ページ数:  345p
  • ISBNコード:  9784764903555

商品説明

【目次】(「BOOK」データベースより)
第0章 これから技術者をめざす人のために/第1章 論理ー正しいと考えられる事柄から正しい事柄を新たに導く/第2章 集合ー多様な構造や構成の方法を知る/第3章 並行プログラムー並行性に特有の概念と知識を学ぶ/第4章 時相論理ーシステムやプログラムの動的な性質を記述する/第5章 検証性質の記述ー一般の技術者がシステムの性質を記述する/第6章 オートマトンーコンピュータの動作を形式的に表現する/第7章 モデル検査基礎ー並行システムのモデル検査を行う/第8章 モデル検査実装ー検証モデル記述のノウハウを利用する/第9章 抽象解釈ーモデル検査の複雑さを軽減する/第10章 モデル検査ツールーSPIN、SMV、LTSA、UPPAALを使う

【著者情報】(「BOOK」データベースより)
田中譲(タナカユズル)
1974年京都大学大学院工学研究科修士課程修了。現在、北海道大学大学院情報科学研究科教授。工学博士。知識メディア、知識連携の研究に従事

磯部祥尚(イソベヨシナオ)
1992年芝浦工業大学大学院電気工学専攻修士課程修了。1992年通商産業省工業技術院電子技術総合研究所。現在、独立行政法人産業技術総合研究所主任研究員・国立情報学研究所特任准教授。工学博士。形式手法による並行システムの検証に関する研究に従事

粂野文洋(クメノフミヒロ)
1990年早稲田大学大学院理工学研究科数学専攻修士課程修了。現在、株式会社三菱総合研究所情報技術研究センター主任研究員・国立情報学研究所特任准教授

櫻庭健年(サクラバタケトシ)
1983年東北大学大学院博士課程数学専攻前期課程修了。1983年株式会社日立製作所。現在、株式会社日立製作所システム開発研究所。オペレーティングシステム、情報セキュリティの研究に従事

田口研治(タグチケンジ)
2001年スウェーデン王国ウプサラ大学計算機科学博士号。現在、国立情報学研究所特任教授。形式手法の研究と教育に従事

田原康之(タハラヤスユキ)
199年東京大学大学院理学研究科修士課程終了。1991年株式会社東芝。2003年国立情報学研究所。現在。電気通信大学大学院情報システム学研究科准教授。博士(情報科学)。エージェント技術、ソフトウェア工学の研究に従事(本データはこの書籍が刊行された当時に掲載されていたものです)

みんなのレビュー

この商品にはまだレビューがありません レビューを書く

楽天ブックスランキング情報

  • 週間ランキング

    ランキング情報がありません。

  • 日別ランキング

    ランキング情報がありません。

ご購入はこちらから

メーカー取り寄せ

通常6〜16日程度で発送

商品確保が難しい場合、3週間程度でキャンセルとなる可能性があります。

4,104円(税込)

送料無料

個数 
お気に入りに追加

最近チェックした商品

    ※表示を削除したい場合は閲覧履歴のページから削除お願いいたします

    ランキング:パソコン・システム開発

    ※1時間ごとに更新

    1. 1
      できる Office 365 Business/Enterprise 対応 2017 年度版
      電子書籍できる Office 365 Business/Enterprise …

      株式会社インサイトイメージ

      1,836円(税込)

    2. 2
      【アフィリエイト初心者用】旦那の給料を超えた主婦がアフィリエイトのやり方とコツを伝授!
      電子書籍【アフィリエイト初心者用】旦那の給料を…

      青山みか

      99円(税込)

    3. 3
      エリック・エヴァンスのドメイン駆動設計
      電子書籍エリック・エヴァンスのドメイン駆動設計

      エリック・エヴァンス

      5,616円(税込)

    4. 4
      MODO★Beginners
      電子書籍MODO★Beginners

      柳村徳彦

      4,666円(税込)

    5. 5
      徹底攻略 Cisco CCNP Routing & Switching SWITCH教科書[300-115J]対応
      電子書籍徹底攻略 Cisco CCNP Routing & Switchin…

      株式会社ソキウス・ジャパン

      4,428円(税込)

    購入データ自動連携!楽天ブックス公式 無料 読書管理パプリ Readee

    このページの先頭へ