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

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

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

獲得ポイント:

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

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

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

商品基本情報

  • 発売日:  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
      シンギュラリティ・ビジネス
      シンギュラリティ・ビジネス

      齋藤和紀

      842円(税込)

    2. 2
      キタミ式イラストIT塾基本情報技術者(平成29年度)
      キタミ式イラストIT塾基本情報技術者(平…

      きたみりゅうじ

      2,138円(税込)

    3. 3
      人工知能の哲学
      人工知能の哲学

      松田 雄馬

      3,240円(税込)

    4. 4
      Microsoft Office Specialist Excel 2016 対策テキスト& 問題集
      Microsoft Office Specialist Excel 2016…

      富士通エフ・オー・エム株式会社 (FOM出…

      2,160円(税込)

    5. 5
      Excel 最強の教科書[完全版]--すぐに使えて、一生役立つ「成果を生み出す」超エクセル仕事術
      Excel 最強の教科書[完全版]--すぐに使…

      藤井 直弥

      1,706円(税込)

    1. 1
      60分でわかる! 仮想通貨 ビットコイン&ブロックチェーン 最前線
      電子書籍60分でわかる! 仮想通貨 ビットコイン…

      仮想通貨ビジネス研究会[著]

      1,102円(税込)

    2. 2
      暗号技術のすべて
      電子書籍暗号技術のすべて

      IPUSIRON

      3,780円(税込)

    3. 3
      新装版 達人プログラマー 職人から名匠への道
      電子書籍新装版 達人プログラマー 職人から名匠へ…

      AndrewHunt

      3,456円(税込)

    4. 4
      科学技術計算のためのPython入門ーー開発基礎,必須ライブラリ,高速化
      電子書籍科学技術計算のためのPython入門ーー開発…

      中久喜健司

      3,456円(税込)

    5. 5
      プログラマのためのDocker教科書 インフラの基礎知識&コードによる環境構築の自動化
      電子書籍プログラマのためのDocker教科書 インフ…

      WINGSプロジェクト阿佐志保

      3,240円(税込)

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

    このページの先頭へ