ソフトウェア科学基礎：最先端のソフトウェア開発に求められる数理的基礎（トップエスイー基礎講座1）
本位田 真一
近代科学社本書では、優れた開発者として最先端の理論やツールと使ってソフトウェア開発をするために必要な基礎知識である、論理学、並行システム、オートマトン、モデル検査のアルゴリズムや実装技術、モデル検証ツールをまとめて解説する。
【注意】本書のEPUB版は固定レイアウト型になっております。文字の大きさの変更や検索、引用などはお使いいただけません。画面の大きい端末でご利用ください。
書籍情報
著者: 本位田 真一
共著者: (監修), 田中 譲(監修), 磯部 祥尚, 粂野 文洋, 櫻庭 健年, 田口 研治(著)
発行日: 2018-03-23
最終更新日: 2018-03-23
バージョン: 1.0.0
ページ数: 365ページ(PDF版換算)ページ
対応フォーマット: PDF, EPUB
出版社: 近代科学社
対象読者
ソフトウェア,論理,集合,並行プログラム,時相論理,検証性質,オートマトン,モデル検査,並行システム,検証モデル記述,抽象解釈,SPIN,SMV,LTSA,UPPAALに興味がある人
著者について
1978年 早稲田大学大学院理工学研究科博士前期課程 修了
1978年 株式会社 東芝
現 在 国立情報学研究所 教授・東京大学大学院情報理工学系研究科 教授 工学博士