.jpg?auto=format&lossless=1)
コンピュータ・情報
並行システムの検証と実装：形式手法ＣＳＰに基づく高信頼並行システム開発入門
※この商品はタブレットなど大きなディスプレイを備えた機器で読むことに適しています。
文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。
あらすじ
並行システムとは、マルチコアCPUを備えるPCやスマホのほか、組込み、スマートグリッドの処理にも欠かせないシステムである。 本書は、その基礎理論（プロセス代数）であるCSPを用いた並行システムの構築方法や検証、実装の方法を概説する。ソフトウェア開発者を中心に、並行プログラミングに挑戦したい人への一冊。
※無料、予約、入荷通知のコンテンツはカートに追加されません。