並行システムの検証と実装
購入済み
シリーズ
全1冊
作品情報
※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。並行システムとは、マルチコアCPUを備えるPCやスマホのほか、組込み、スマートグリッドの処理にも欠かせないシステムである。 本書は、その基礎理論（プロセス代数）であるCSPを用いた並行システムの構築方法や検証、実装の方法を概説する。ソフトウェア開発者を中心に、並行プログラミングに挑戦したい人への一冊。
- 著者
- 出版社 近代科学社
- ジャンル
- シリーズ 並行システムの検証と実装
- 電子版配信開始日 2022/01/14
- ファイルサイズ 62.66 MB
作品をシェアする
同じ作者の本
-
コンピュータネットワーク第6版
￥9,680
購入済み
-
ソフトウェアパターン
￥3,960
購入済み
-
並行システムの検証と実装
￥5,060
購入済み
-
Bメソッドによる形式仕様記述
￥3,960
購入済み
-
SPINによる設計モデル検証
￥3,960
購入済み
-
実践的ソフトウェア工学
￥2,750
購入済み
-
UPPAALによる性能モデル検証
￥4,180
購入済み
-
ソフトウェア科学基礎
￥4,180
購入済み
-
VDM++による形式仕様記述
￥4,180
購入済み
-
要求工学概論
￥4,180
購入済み
近代科学社のおすすめ本
-
世界標準MIT教科書 アルゴリズムイントロダクション 第4版 第2巻 高度な設計と解析の手法・高度なデータ構造・グラフアルゴリズム
￥4,950
購入済み
-
図解 深層学習 数理で理解する基本原理
￥3,850
購入済み
-
独習 ガロア理論
￥4,290
購入済み
-
世界標準MIT教科書 アルゴリズムイントロダクション 第4版 第1巻 基礎・ソートと順序統計量・データ構造・数学的基礎
￥4,950
購入済み
-
増補新訂版 よくわかるC言語 イメージと例題で理解するStep ABC
￥2,475
購入済み
-
ベイズ最適化 適応的実験計画の基礎と実践
￥4,180
購入済み
-
サプライチェーンリスク管理と人道支援ロジスティクス
￥7,700
購入済み
-
実践的プライバシーリスク評価技法 プライバシーバイデザインと個人情報影響評価
￥3,520
購入済み
-
人間中心設計の国内事例
￥3,850
購入済み
-
ネットコモンズ公式マニュアル｜私にもできちゃった！ NetCommonsで本格ウェブサイト 第2版
￥2,640
購入済み
スマホ・PC・ITのおすすめ本
-
さわって学べるPower Platform Copilot
￥3,080
購入済み
-
ChatGPTによるPythonプログラミング入門 ―AI駆動開発で実現する社内業務の自動化―
￥2,530
購入済み
-
ChatGPTを徹底活用！ ビジネスパーソンのためのプログラミング勉強法
￥1,980
購入済み
-
深層学習による自動作曲入門
￥3,080
購入済み
-
晋遊舎ムック 便利帖シリーズ130 60代からのスマホの便利帖
￥999
購入済み
-
Windows 11は初期設定で使うな！ 2024年最新版
￥1,540
購入済み
-
これ1冊で丸わかり 完全図解 セキュリティー実践
￥2,750
購入済み
-
UX実践者のためのプロダクトマネジメント入門
￥3,080
購入済み
-
JavaScript Primer 改訂2版 迷わないための入門書
￥4,290
購入済み
-
関数型デザイン 原則、パターン、実践
￥4,180
購入済み