Tweet
並行システムの検証と実装：形式手法CSPに基づく高信頼並行システム開発入門（トップエスイー実践講座6）
5,060円
(4,600円+税)
並行システムとは、マルチコアCPUを備えるPCやスマホのほか、組込み、スマートグリッドの処理にも欠かせないシステムである。 本書は、その基礎理論（プロセス代数）であるCSPを用いた並行システムの構築方法や検証、実装の方法を概説する。ソフトウェア開発者を中心に、並行プログラミングに挑戦したい人への一冊。
【注意】本書のEPUB版は固定レイアウト型になっております。文字の大きさの変更や検索、引用などはお使いいただけません。画面の大きい端末でご利用ください。
ページサンプル閲覧
以下はPDF版の先頭ページなどから、一部を抜粋して縮小した画像です。
（※EPUB版を提供している書籍の場合、基本的に内容は同じですが、見映えは異なります。
またお使いのEPUBリーダによっても見え方は大きく異なることがあります。）
