pagetop

本 ソフトウェア科学基礎 最先端のソフトウェア開発に求められる数理的基礎

ほしい!に追加 twitter
本-ソフトウェア科学基礎 最先端のソフトウェア開発に求められる数理的基礎
著者: 磯部祥尚 (著)
定価 ¥4,104(税込)
BOOKFANポイント: 190 pt
or
Tポイント: 114 pt (Yahoo!ウォレット決済利用時)

商品情報

出版社名
近代科学社
シリーズ名
トップエスイー基礎講座 1
発行年月
2008年 09月
ISBNコード
9784764903555
版型
--
ページ数
345P
平均評価
(まだ評価がありません)
ブクレポ
0件

新刊お知らせ登録一覧へ »

磯部祥尚 OFF

目次

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

著者情報

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

ブクレポ  ( ブクレポについて

この本にはまだブクレポが投稿されていません。
うれしい全品送料無料♪全商品5%ポイント還元!<a href="index.php?module=ecrlist&action=plist&it=BK"target="_parent">▼新刊・予約はコチラ!</a>
ご注意!ラッピング、お届け日の指定は承れません!
大量一括注文窓口はこちら!
出版社共同企画!もれなく100ptプレゼント!
BOOKFANのツイッターをフォローする♪
BOOKFANキャラクター大集合!LINEクリエイターズスタンプ配信中☆
コミック全巻セットはこちら★
特集一覧へ