並行システムの検証と実装
購入済み
シリーズ
全1冊
作品情報
※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。並行システムとは、マルチコアCPUを備えるPCやスマホのほか、組込み、スマートグリッドの処理にも欠かせないシステムである。 本書は、その基礎理論（プロセス代数）であるCSPを用いた並行システムの構築方法や検証、実装の方法を概説する。ソフトウェア開発者を中心に、並行プログラミングに挑戦したい人への一冊。
- 著者
- 出版社 近代科学社
- ジャンル
- シリーズ 並行システムの検証と実装
- 電子版配信開始日 2022/01/14
- ファイルサイズ 62.66 MB
作品をシェアする
同じ作者の本
-
コンピュータネットワーク第6版
￥9,680
購入済み
-
ソフトウェアパターン
￥3,960
購入済み
-
並行システムの検証と実装
￥5,060
購入済み
-
Bメソッドによる形式仕様記述
￥3,960
購入済み
-
SPINによる設計モデル検証
￥3,960
購入済み
-
UPPAALによる性能モデル検証
￥4,180
購入済み
-
実践的ソフトウェア工学
￥2,750
購入済み
-
ソフトウェア科学基礎
￥4,180
購入済み
-
VDM++による形式仕様記述
￥4,180
購入済み
-
要求工学概論
￥4,180
購入済み
近代科学社のおすすめ本
-
世界標準MIT教科書 アルゴリズムイントロダクション 第4版 総合版
￥19,800
購入済み
-
つながるコンピュータリテラシー 情報Iの復習から活用スキルまで
￥2,200
購入済み
-
ε-δ論法と数学の基礎 『原論』の時代から20世紀まで
￥3,850
購入済み
-
最適化のための強化学習
￥3,520
購入済み
-
統計学再入門 科学哲学から探る統計思考の原点
￥3,300
購入済み
-
ファーストステップ AI・データサイエンスの基礎
￥2,750
購入済み
-
超楕円関数への招待 楕円関数の一般化とその応用
￥4,400
購入済み
-
改訂新版 ファーストステップ情報通信ネットワーク
￥2,750
購入済み
-
世界標準MIT教科書 アルゴリズムイントロダクション 第4版 第2巻 高度な設計と解析の手法・高度なデータ構造・グラフアルゴリズム
￥4,950
購入済み
-
図解 深層学習 数理で理解する基本原理
￥3,850
購入済み
スマホ・PC・ITのおすすめ本
-
GitLabに学ぶ パフォーマンスを最大化させるドキュメンテーション技術 数千ページにもわたるハンドブックを活用したテキストコミュニケーションの作法
￥1,980
購入済み
-
ソフトウェアアーキテクトのための意思決定術 リーダーシップ／技術／プロダクトマネジメントの活用
￥3,300
購入済み
-
Web制作者のためのSassの教科書 改訂3版 Webデザインの現場で必須のCSSプリプロセッサ
￥2,970
購入済み
-
転生魔王のネット戦略 ２
￥999
購入済み
-
できるWord&Excel 2024 Copilot対応 Office 2024&Microsoft 365版
￥2,200
購入済み
-
超入門 無料で使える動画編集ソフト Filmora
￥2,385
購入済み
-
物語が動き出す 演出アイテム図鑑
￥2,420
購入済み
-
Streamlit入門 Pythonで学ぶデータ可視化＆アプリ開発ガイド
￥3,960
購入済み
-
イチからはじめるCanvaビジネス活用入門
￥2,420
購入済み
-
世界標準MIT教科書 アルゴリズムイントロダクション 第4版 総合版
￥19,800
購入済み