並行システムの検証と実装 電子書籍版
5060
円(税込)
初めての方
6回使える!最大
70%OFF
クーポン
※値引上限等条件あり
詳細・獲得はこちら
初めてではない方
何回でも使える
5%OFF
クーポン
詳細・獲得はこちら
購入はこちら
試し読み
本作品について、無料施策・クーポン等の割引施策・PayPayポイント付与の施策を行う予定があります。
この他にもお得な施策を常時実施中、また、今後も実施予定です。詳しくは
こちら
。
専門書 コンピューター
作品内容
並行システムとは、マルチコアCPUを備えるPCやスマホのほか、組込み、スマートグリッドの処理にも欠かせないシステムである。 本書は、その基礎理論(プロセス代数)であるCSPを用いた並行システムの構築方法や検証、実装の方法を概説する。ソフトウェア開発者を中心に、並行プログラミングに挑戦したい人への一冊。
作品情報
ページ数
387ページ
出版社
近代科学社
提供開始日
2019/08/17
ジャンル
ビジネス・実用
作者の関連作品
作者の作品一覧
考えるコンテンツ「スマーティブ」 電子書籍版
要求工学概論 電子書籍版
試し読み
並行システムの検証と実装 電子書籍版
試し読み
VDM++による形式仕様記述 電子書籍版
試し読み
Bメソッドによる形式仕様記述 電子書籍版
試し読み
ソフトウェアパターン 電子書籍版
試し読み
SPINによる設計モデル検証 電子書籍版
試し読み
UPPAALによる性能モデル検証 電子書籍版
試し読み
アジャイルイントロダクション 電子書籍版
試し読み
IT Text 人工知能(改訂2版) 電子書籍版
試し読み
実践的ソフトウェア工学 電子書籍版
試し読み
ソフトウェア科学基礎 電子書籍版
試し読み