並行システムの検証と実装 = Verification and Implementation of Concurrent Systems : 形式手法CSPに基づく高信頼並行システム開発入門並行システムの検証と実装 = Verification and Implementation of Concurrent Systems : 形式手法CSPに基づく高信頼並行システム開発入門東野輝夫, 磯部祥尚, 本位田真一出版社近代科学社発売日2012-12-01ISBN9784764904354読みたい読書中読んだ詳細はこちらからAmazonで見るシェアする
