並行システムの検証と実装
※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。
並行システムとは、マルチコアCPUを備えるPCやスマホのほか、組込み、スマートグリッドの処理にも欠かせないシステムである。 本書は、その基礎理論（プロセス代数）であるCSPを用いた並行システムの構築方法や検証、実装の方法を概説する。ソフトウェア開発者を中心に、並行プログラミングに挑戦したい人への一冊。
並行システムの検証と実装 のユーザーレビュー
並行システムの検証と実装 の詳細情報
閲覧環境
- 【閲覧できる環境】
- ・ブックライブ for Windows PC（アプリ）
- ・ブックライブ for iOS（アプリ）
- ・ブックライブ for Android（アプリ）
- ・ブックライブ PLUS for Android（アプリ）
- ・ブラウザビューア
※アプリの閲覧環境は最新バージョンのものです。
この本をチェックした人は、こんな本もチェックしています
無料で読める IT・コンピュータ
IT・コンピュータ ランキング
作者のこれもおすすめ
