並行システムの検証と実装: 形式手法CSPに基づく高信頼並行システム開発入門 (トップエスイーシリーズ 実践講座)

内容詳細

マルチコアCPUを持つPCやスマホ、組込みの処理にも欠かせない並行システムについて、構築・検証・実装の方法を基礎から解説。