最先端のソフトウェア開発に求められる数理的基礎 -- トップエスイー基礎講座 --
磯部祥尚 /著, 粂野文洋 /著, 櫻庭健年 /著, 田口研治 /著, 田原康之 /著, 田中譲 /監修   -- 近代科学社 -- 2008.9 -- 24cm -- 345p

資料詳細

タイトル ソフトウェア科学基礎
副書名 最先端のソフトウェア開発に求められる数理的基礎
シリーズ名 トップエスイー基礎講座
著者名等 磯部祥尚 /著, 粂野文洋 /著, 櫻庭健年 /著, 田口研治 /著, 田原康之 /著, 田中譲 /監修  
出版 近代科学社 2008.9
大きさ等 24cm 345p
分類 007.63
件名 電子計算機-ソフトウェア
注記 文献あり 索引あり
目次 第0章 これから技術者をめざす人のために;第1章 論理―正しいと考えられる事柄から正しい事柄を新たに導く;第2章 集合―多様な構造や構成の方法を知る;第3章 並行プログラム―並行性に特有の概念と知識を学ぶ;第4章 時相論理―システムやプログラムの動的な性質を記述する;第5章 検証性質の記述―一般の技術者がシステムの性質を記述する;第6章 オートマトン―コンピュータの動作を形式的に表現する;第7章 モデル検査基礎―並行システムのモデル検査を行う;第8章 モデル検査実装―検証モデル記述のノウハウを利用する;第9章 抽象解釈―モデル検査の複雑さを軽減する;第10章 モデル検査ツール―SPIN、SMV、LTSA、UPPAALを使う
ISBN(13)、ISBN 978-4-7649-0355-5   4-7649-0355-5
書誌番号 1108067956

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 007.6/13965 一般書 利用可 - 2041060380 iLisvirtual