ブックライブでは、JavaScriptがOFFになっているとご利用いただけない機能があります。JavaScriptを有効にしてご利用ください。
無料マンガ・ラノベなど、豊富なラインナップで188万冊以上配信中！
来店pt
閲覧履歴
My本棚
カート
フォロー
クーポン
Myページ
25pt
開催中のキャンペーン
※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 並行システムとは、マルチコアCPUを備えるPCやスマホのほか、組込み、スマートグリッドの処理にも欠かせないシステムである。 本書は、その基礎理論（プロセス代数）であるCSPを用いた並行システムの構築方法や検証、実装の方法を概説する。ソフトウェア開発者を中心に、並行プログラミングに挑戦したい人への一冊。
アプリ試し読みはこちら
※アプリの閲覧環境は最新バージョンのものです。
レビューがありません。
新刊やセール情報をお知らせします。
並行システムの検証と実装
新刊情報をお知らせします。
本位田真一
東野輝夫
その他の作者をフォローする場合は、作者名から作者ページを表示してください
フォロー機能について
「IT・コンピュータ」無料一覧へ
「IT・コンピュータ」ランキングの一覧へ
ビジネス・実用
IT Text 人工知能（改訂2版）
アジャイルイントロダクション Agile開発の光と影
UPPAALによる性能モデル検証
コンピュータネットワーク第6版
実践的ソフトウェア工学
実践的ソフトウェア工学 第2版 実践現場から学ぶソフトウェア開発の勘所
SPINによる設計モデル検証
ソフトウェア科学基礎
作者のこれもおすすめ一覧へ
みんなの公開リストをもっと見る
一覧 >>
▲並行システムの検証と実装 ページトップヘ
