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クリエイターズスタンプ配信中☆
【電子ストア】最高5,000円分ギフト券プレゼント中!お買い物時にご利用ください!
電子書籍をはじめて購入いただく方にもれなく!\39ギフト券プレゼント!
特集一覧へ