並行システムの検証と実装：形式手法CSPに基づく高信頼並行システム開発入門（トップエスイー実践講座6）
| Autor: | 磯部 祥尚（著）, 本位田 真一（監修）, 東野 輝夫（監修） |
|---|---|
| Kategorie: | |
| Popis: | 並行システムとは、マルチコアCPUを備えるPCやスマホのほか、組込み、スマートグリッドの処理にも欠かせないシステムである。 本書は、その基礎理論（プロセス代数）であるCSPを用いた並行システムの構築方法や検証、実装の方法を概説する。ソフトウェア開発者を中心に、並行プログラミングに挑戦したい人への一冊。 |
| Databáze: | eBook Index |
| Externí odkaz: |
|